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