debug-markers	diagnose_expressions
diagnose_assertion_failure	diagnose_assertion_failure
diagnose_expressions	diagnose_expressions
fatal_error	fatal_error
forwarded_arg_label	diagnose_assertion_failure
postcondition	precondition
precondition	precondition
precondition_fatal_error_action	fatal_error
sanity_check	precondition
