Constant _ecdsa_verify_sha3_512_eth 

pub const _ecdsa_verify_sha3_512_eth: Symbol;