print_string "Hello world!\n";;