#ifndef __SAFEC_CRASH_H
#define __SAFEC_CRASH_H
void crash(const char* message, ...);
#endif