extern const char *FILENAME;

void die(const char *message);

void die_err(const char *message);