Constant verify_sha3_256_eth 

pub const verify_sha3_256_eth: Symbol;