__attribute__((noreturn)) void exit(int status) { }