Constant verify_sha3_384_eth 

pub const verify_sha3_384_eth: Symbol;