mercury 14.01

Just inline these arguments.