Reformat mnemo_bits in core.y
Reformat mnemo_io in core.y