Reformat mnemo_arithm16bit in core.y