Constant _keccak512_hash_to_u128 

pub const _keccak512_hash_to_u128: Symbol;