pub fn syscall_hashing_keccak256_permute_handler( ctx: &mut impl StoreTr<RuntimeContext>, params: &[Value], _result: &mut [Value], ) -> Result<(), TrapCode>