/* dummy for sha3.c */

.