Saarinen's implementation of Keccak