<defines>
KECCAK -> 20131128
</defines>

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

<requires>
keccak_perm
</requires>
