Mercury documentation, version rotd-2013-05-16