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


extern inline void libkeccak_state_destroy(volatile struct libkeccak_state *);