#include int main(void) { fprintf(stderr, "CRASHER.\n"); exit(1); }