Reformat mnemo_rotate in core.y part 3