Mercury documentation, version 22.01.1