int main(void) { while (1) ; return 0; }