Constant CHECKS 

pub const CHECKS: &[Builtin];