let
ps x = print_string (x^
"\n"
)