HomeIsabelle/Phabricator

Convert between little-endian instruction format and native word.