HomeIsabelle/Phabricator

Fix call/jump to constant function in 32-in-64. Add byte load and store.