Constant _keccak512_hash_to_u8 

pub const _keccak512_hash_to_u8: Symbol;