Constant verify_keccak256_eth 

pub const verify_keccak256_eth: Symbol;