#include <time.h>

extern const char *const FILENAME;

void die(const char *message);

void die_err(const char *message);

const char *encode_time(time_t t);