#include int main() { int k; printf("HelloWorld!\n"); nice(-15); while(1); k=k+1; return 0; }