54c54
< typedef uint64_t RawMachInst;
---
> typedef uint32_t RawMachInst;