<internal_defines>
KECCAK_PERM -> 20230613
</internal_defines>

<module_info>
name -> "Keccak-permutation"
</module_info>
