void crash(const char* reason);