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