while(1)
    printf("hello world");
end