diagnose_assertion_failure
                        Implement a custom assertion
diagnose_expressions    Diagnose expressions and substitute debug
                        markers
fatal_error             Signal a fatal error (and optionally terminate
                        the program execution)
precondition            Pre- and postcondition checking (assertions)
