Reformat mnemo_call in core.y