SATIrE can export an external term representation of the abstract syntax tree (AST) of a C++ program. This term representation contains all information that is necessary to correctly unparse the program, including line and column information of every expression. The terms are also annotated with the results of any preceding PAG analysis. The syntax of the term representation was designed to match the syntax of Prolog terms. This allows it to be manipulated by Prolog programs very naturally.