Reformat mnemo_load16bit in core.y