(TranslationUnit
    (SymbolTable
        1
        {
            preprocessor5:
                (Program
                    (SymbolTable
                        2
                        {
                            
                        })
                    preprocessor5
                    []
                    [(Print
                        (StringFormat
                            ()
                            [(IntegerConstant 1 (Integer 4) Decimal)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntegerConstant 12 (Integer 4) Decimal)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntegerConstant 3 (Integer 4) Decimal)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntegerConstant 6 (Integer 4) Decimal)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntegerConstant 15 (Integer 4) Decimal)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )]
                )
        })
    []
)
