#include <stdint.h>

extern uint32_t hash_string(char*);