print_string "uwu\n";;