Constant const_evaluatable_checked 

pub const const_evaluatable_checked: Symbol;