int main (int argc, char** argv) {
    for(;;);
    while (1);
    for(;1;);
}