pretty printer, 1st version