86a87
> 0x1: M5ops::m5ops();
128d128
< 0x3: Unknown::undefined();
142a143
> 0x1: M5ops::m5ops();