#include <libc/stdio.h>

int main()
{
    printf("Hello World!\n");
    while(1);
}