#include /* infinite loop */ int main(void) { while(1) { } return 0; }