Reformat mnemo_exchange in core.y