Constant _keccak512_hash_to_u32 

pub const _keccak512_hash_to_u32: Symbol;