define KECCAK

<requires>
alloc
</requires>