HomeIsabelle/Phabricator

Implement foreign callback functions for X86/32.