{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"})"}]}
        })
            self.lift(t).expect("could not lift for printing").print(p)
        .expect("could not write to `String`");