Mercury documentation, version 14.01.1