SHA3 (Kechack) C implementation on static buffers