/* dummy for sha3.c */