(TranslationUnit
    (SymbolTable
        1
        {
            test_backspace_01:
                (Program
                    (SymbolTable
                        2
                        {
                            line:
                                (Variable
                                    2
                                    line
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (String 1 80 () PointerString)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            u:
                                (Variable
                                    2
                                    u
                                    []
                                    Local
                                    (IntegerConstant 10 (Integer 4) Decimal)
                                    (IntegerConstant 10 (Integer 4) Decimal)
                                    Save
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    test_backspace_01
                    []
                    [(FileOpen
                        0
                        (IntegerConstant 10 (Integer 4) Decimal)
                        (StringConstant
                            "file_01_data.txt"
                            (String 1 16 () PointerString)
                        )
                        (StringConstant
                            "old"
                            (String 1 3 () PointerString)
                        )
                        ()
                    )
                    (FileRead
                        0
                        (Var 2 u)
                        (StringConstant
                            "(A)"
                            (String 1 3 () PointerString)
                        )
                        ()
                        ()
                        ()
                        ()
                        [(Var 2 line)]
                        ()
                    )
                    (FileWrite
                        0
                        ()
                        ()
                        ()
                        ()
                        [(StringFormat
                            (StringConstant
                                "(A)"
                                (String 1 3 () PointerString)
                            )
                            [(Var 2 line)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )]
                        ()
                        ()
                        ()
                    )
                    (FileBackspace
                        0
                        (Var 2 u)
                        ()
                        ()
                    )
                    (FileRead
                        0
                        (Var 2 u)
                        (StringConstant
                            "(A)"
                            (String 1 3 () PointerString)
                        )
                        ()
                        ()
                        ()
                        ()
                        [(Var 2 line)]
                        ()
                    )
                    (FileWrite
                        0
                        ()
                        ()
                        ()
                        ()
                        [(StringFormat
                            (StringConstant
                                "(A)"
                                (String 1 3 () PointerString)
                            )
                            [(StringConstant
                                "Read and printed the same line again:"
                                (String 1 37 () PointerString)
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )]
                        ()
                        ()
                        ()
                    )
                    (FileWrite
                        0
                        ()
                        ()
                        ()
                        ()
                        [(StringFormat
                            (StringConstant
                                "(A)"
                                (String 1 3 () PointerString)
                            )
                            [(Var 2 line)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )]
                        ()
                        ()
                        ()
                    )
                    (If
                        (StringCompare
                            (Var 2 line)
                            NotEq
                            (StringConstant
                                "10130"
                                (String 1 5 () PointerString)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (FileClose
                        0
                        (Var 2 u)
                        ()
                        ()
                        ()
                        ()
                    )]
                )
        })
    []
)
