/* See LICENSE file for copyright and license details. */
#include "../common.h"


extern inline void libkeccak_state_free(volatile struct libkeccak_state *);