Constant verify_keccak256 

pub const verify_keccak256: Symbol;