#ifndef HEFTY1_H
#define HEFTY1_H
#ifdef __cplusplus
extern "C" {
#endif
#include <stdint.h>
void hefty1_hash(const char* input, char* output, uint32_t len);
}