Constant _keccak512_hash_to_u32_raw 

pub const _keccak512_hash_to_u32_raw: Symbol;