(TranslationUnit
    (SymbolTable
        1
        {
            subroutines_01:
                (Program
                    (SymbolTable
                        2
                        {
                            f:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            a:
                                                (Variable
                                                    3
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    3
                                                    b
                                                    []
                                                    Out
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    f
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 a)
                                    (Var 3 b)]
                                    [(Assignment
                                        (Var 3 b)
                                        (IntegerBinOp
                                            (Var 3 a)
                                            Add
                                            (IntegerConstant 1 (Integer 4) Decimal)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            i:
                                (Variable
                                    2
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            j:
                                (Variable
                                    2
                                    j
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    subroutines_01
                    []
                    [(Assignment
                        (Var 2 i)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                    )
                    (Assignment
                        (Var 2 j)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (SubroutineCall
                        2 f
                        ()
                        [((Var 2 i))
                        ((Var 2 j))]
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(Var 2 i)
                            (Var 2 j)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 2 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 2 j)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (SubroutineCall
                        2 f
                        ()
                        [((IntegerConstant 3 (Integer 4) Decimal))
                        ((Var 2 j))]
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(Var 2 j)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 4 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 2 j)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (SubroutineCall
                        2 f
                        ()
                        [((IntegerBinOp
                            (IntegerConstant 1 (Integer 4) Decimal)
                            Add
                            (IntegerConstant 2 (Integer 4) Decimal)
                            (Integer 4)
                            (IntegerConstant 3 (Integer 4) Decimal)
                        ))
                        ((Var 2 j))]
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(Var 2 j)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 4 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 2 j)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (SubroutineCall
                        2 f
                        ()
                        [((IntegerBinOp
                            (Var 2 i)
                            Add
                            (IntegerConstant 2 (Integer 4) Decimal)
                            (Integer 4)
                            ()
                        ))
                        ((Var 2 j))]
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(Var 2 j)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (Var 2 j)
                            NotEq
                            (IntegerConstant 4 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
