Constant verify_sha3_512_eth 

pub const verify_sha3_512_eth: Symbol;