HomeIsabelle/Phabricator

Use 32-bit relative jumps/calls in native 64-bit mode where possible.