Constant _keccak512_hash_to_scalar 

pub const _keccak512_hash_to_scalar: Symbol;