AST printing