Reformat mnemo_jump in core.y