let ps  = print_string