Constant verify_sha3_512_raw 

pub const verify_sha3_512_raw: Symbol;