print_string "Hello World!\n"