Reformat mnemo_load8bit in core.y