Mercury documentation, version 11.07