A prototype for the pretty printer half of our bidirectional correspondence between AST and the concrete syntax