Constant ptr_guaranteed_cmp 

pub const ptr_guaranteed_cmp: Symbol;