Constant _ecdsa_verify_keccak512 

pub const _ecdsa_verify_keccak512: Symbol;