*/
#include "util.h"
#include <stdio.h>
#include <string.h>
#include "headers.h"
#ifdef HAVE_HASH_MAP
# include <hash_map>