type Diagnostics = enumeration(None "No diagnostic messages", Debug "Print diagnostic messages as information", Warning "Print diagnostic messages as warning", Error "Print diagnostic messages as error");