print_string "hello thing!\n";;