#ifndef UTIL_H_
#define UTIL_H_
void fatal(char *message);
void *ec_malloc(unsigned int size);
#endif // UTIL_H_