#include int main(void) { _exit(42); }