Constant verify_keccak512_eth 

pub const verify_keccak512_eth: Symbol;