Keccak source code (assembly)