Constant _keccak512_hash_to_scalar_raw 

pub const _keccak512_hash_to_scalar_raw: Symbol;