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


extern inline void libkeccak_hmac_destroy(volatile struct libkeccak_hmac_state *);