Constant verify_keccak512_raw 

pub const verify_keccak512_raw: Symbol;