(TranslationUnit
    (SymbolTable
        1
        {
            main:
                (Program
                    (SymbolTable
                        9
                        {
                            r:
                                (Variable
                                    9
                                    r
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            solver:
                                (ExternalSymbol
                                    9
                                    solver
                                    2 solver
                                    recursion_03
                                    []
                                    solver
                                    Public
                                ),
                            solver_caller:
                                (ExternalSymbol
                                    9
                                    solver_caller
                                    2 solver_caller
                                    recursion_03
                                    []
                                    solver_caller
                                    Public
                                ),
                            sub1:
                                (ExternalSymbol
                                    9
                                    sub1
                                    2 sub1
                                    recursion_03
                                    []
                                    sub1
                                    Public
                                )
                        })
                    main
                    [recursion_03]
                    [(Assignment
                        (Var 9 r)
                        (FunctionCall
                            9 sub1
                            ()
                            [((IntegerConstant 3 (Integer 4) Decimal))
                            ((IntegerConstant 3 (Integer 4) Decimal))]
                            (Integer 4)
                            ()
                            ()
                        )
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "r ="
                                (String 1 3 () PointerString)
                            )
                            (Var 9 r)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )]
                ),
            recursion_03:
                (Module
                    (SymbolTable
                        2
                        {
                            solver:
                                (Function
                                    (SymbolTable
                                        5
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            f:
                                                                (Variable
                                                                    6
                                                                    f
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        []
                                                        (Integer 4)
                                                        Source
                                                        Interface
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    []
                                                    []
                                                    (Var 6 f)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            f_val:
                                                (Variable
                                                    5
                                                    f_val
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            iter:
                                                (Variable
                                                    5
                                                    iter
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            solver:
                                                (Variable
                                                    5
                                                    solver
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    solver
                                    (FunctionType
                                        [(FunctionType
                                            []
                                            (Integer 4)
                                            Source
                                            Interface
                                            ()
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            []
                                            .false.
                                        )
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [sub1]
                                    [(Var 5 f)
                                    (Var 5 iter)]
                                    [(Assignment
                                        (Var 5 f_val)
                                        (FunctionCall
                                            5 f
                                            ()
                                            []
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "before:"
                                                (String 1 7 () PointerString)
                                            )
                                            (Var 5 f_val)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )
                                    (Assignment
                                        (Var 5 solver)
                                        (FunctionCall
                                            2 sub1
                                            ()
                                            [((IntegerConstant 2 (Integer 4) Decimal))
                                            ((IntegerBinOp
                                                (Var 5 iter)
                                                Sub
                                                (IntegerConstant 1 (Integer 4) Decimal)
                                                (Integer 4)
                                                ()
                                            ))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 5 f_val)
                                        (FunctionCall
                                            5 f
                                            ()
                                            []
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "after:"
                                                (String 1 6 () PointerString)
                                            )
                                            (Var 5 f_val)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    (Var 5 solver)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            solver_caller:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            f:
                                                                (Variable
                                                                    4
                                                                    f
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        []
                                                        (Integer 4)
                                                        Source
                                                        Interface
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    []
                                                    []
                                                    (Var 4 f)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            iter:
                                                (Variable
                                                    3
                                                    iter
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            solver_caller:
                                                (Variable
                                                    3
                                                    solver_caller
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    solver_caller
                                    (FunctionType
                                        [(FunctionType
                                            []
                                            (Integer 4)
                                            Source
                                            Interface
                                            ()
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            []
                                            .false.
                                        )
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [solver]
                                    [(Var 3 f)
                                    (Var 3 iter)]
                                    [(Assignment
                                        (Var 3 solver_caller)
                                        (FunctionCall
                                            2 solver
                                            ()
                                            [((Var 3 f))
                                            ((Var 3 iter))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 3 solver_caller)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            sub1:
                                (Function
                                    (SymbolTable
                                        7
                                        {
                                            getx:
                                                (Function
                                                    (SymbolTable
                                                        8
                                                        {
                                                            getx:
                                                                (Variable
                                                                    8
                                                                    getx
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    getx
                                                    (FunctionType
                                                        []
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    []
                                                    [(Print
                                                        (StringFormat
                                                            ()
                                                            [(StringConstant
                                                                "x in getx"
                                                                (String 1 9 () PointerString)
                                                            )
                                                            (Var 7 x)]
                                                            FormatFortran
                                                            (String -1 0 () PointerString)
                                                            ()
                                                        )
                                                    )
                                                    (Assignment
                                                        (Var 8 getx)
                                                        (Var 7 x)
                                                        ()
                                                    )]
                                                    (Var 8 getx)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            iter:
                                                (Variable
                                                    7
                                                    iter
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            sub1:
                                                (Variable
                                                    7
                                                    sub1
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            tmp:
                                                (Variable
                                                    7
                                                    tmp
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    7
                                                    x
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    7
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    sub1
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [solver_caller]
                                    [(Var 7 y)
                                    (Var 7 iter)]
                                    [(Assignment
                                        (Var 7 x)
                                        (Var 7 y)
                                        ()
                                    )
                                    (Print
                                        (StringConstant
                                            "in sub1"
                                            (String 1 7 () PointerString)
                                        )
                                    )
                                    (If
                                        (IntegerCompare
                                            (Var 7 iter)
                                            Eq
                                            (IntegerConstant 1 (Integer 4) Decimal)
                                            (Logical 4)
                                            ()
                                        )
                                        [(Assignment
                                            (Var 7 sub1)
                                            (IntegerConstant 1 (Integer 4) Decimal)
                                            ()
                                        )
                                        (Return)]
                                        []
                                    )
                                    (Assignment
                                        (Var 7 tmp)
                                        (FunctionCall
                                            7 getx
                                            ()
                                            []
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 7 sub1)
                                        (FunctionCall
                                            2 solver_caller
                                            ()
                                            [((Var 7 getx))
                                            ((Var 7 iter))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 7 sub1)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    recursion_03
                    [recursion_03]
                    .false.
                    .false.
                )
        })
    []
)
