Constant _ecdsa_verify_sha3_512_raw 

pub const _ecdsa_verify_sha3_512_raw: Symbol;