Constant verify_keccak384_eth 

pub const verify_keccak384_eth: Symbol;