Constant contract_checks 

pub const contract_checks: Symbol;