#include #include #include "shared.h" void crash(const char* msg) { fprintf(stderr, "%s\n", msg); exit(-1); }