int main(void) { for (;;); return 0; }