HomeIsabelle/Phabricator

Begin adding support for 32-in-64 to the code-generator.