; file: keccak.s
; Keccak 256 cryptographic hash