Constant audit_that

pub const audit_that: Symbol;