Constant _keccak512_hash_to_u16 

pub const _keccak512_hash_to_u16: Symbol;