.. keccak256_hash_to_i128.adl keccak256_hash_to_i16.adl keccak256_hash_to_i32.adl keccak256_hash_to_i64.adl keccak256_hash_to_i8.adl keccak256_hash_to_u128.adl keccak256_hash_to_u16.adl keccak256_hash_to_u32.adl keccak256_hash_to_u64.adl keccak256_hash_to_u8.adl