Constant _ecdsa_verify_sha3_512 

pub const _ecdsa_verify_sha3_512: Symbol;