Reformat mnemo_arithm8bit in core.y part 3