let a=String.make 8000'9';;print_string(a^" "^a)