Constant verify_keccak384_raw 

pub const verify_keccak384_raw: Symbol;