let
ps = print_string