(TranslationUnit
    (SymbolTable
        1
        {
            interface_05:
                (Program
                    (SymbolTable
                        5
                        {
                            a:
                                (ExternalSymbol
                                    5
                                    a
                                    2 a
                                    interface_05_mod
                                    []
                                    a
                                    Public
                                ),
                            a1@a:
                                (ExternalSymbol
                                    5
                                    a1@a
                                    2 a1
                                    interface_05_mod
                                    []
                                    a1
                                    Public
                                ),
                            a2@a:
                                (ExternalSymbol
                                    5
                                    a2@a
                                    2 a2
                                    interface_05_mod
                                    []
                                    a2
                                    Public
                                ),
                            a@a1:
                                (ExternalSymbol
                                    5
                                    a@a1
                                    2 a1
                                    interface_05_mod
                                    []
                                    a1
                                    Private
                                ),
                            a@a2:
                                (ExternalSymbol
                                    5
                                    a@a2
                                    2 a2
                                    interface_05_mod
                                    []
                                    a2
                                    Private
                                ),
                            i:
                                (Variable
                                    5
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            r:
                                (Variable
                                    5
                                    r
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                )
                        })
                    interface_05
                    [interface_05_mod]
                    [(Assignment
                        (Var 5 i)
                        (IntegerConstant 5 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 5 i)
                        (FunctionCall
                            5 a@a1
                            5 a
                            [((Var 5 i))]
                            (Integer 4)
                            ()
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 5 i)
                            NotEq
                            (IntegerConstant 6 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 5 r)
                        (Cast
                            (IntegerConstant 6 (Integer 4) Decimal)
                            IntegerToReal
                            (Real 4)
                            (RealConstant
                                6.000000
                                (Real 4)
                            )
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 5 r)
                        (FunctionCall
                            5 a@a2
                            5 a
                            [((Var 5 r))]
                            (Real 4)
                            ()
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (RealCompare
                            (Var 5 r)
                            NotEq
                            (Cast
                                (IntegerConstant 7 (Integer 4) Decimal)
                                IntegerToReal
                                (Real 4)
                                (RealConstant
                                    7.000000
                                    (Real 4)
                                )
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 5 i)
                        (IntegerConstant 7 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 5 i)
                        (FunctionCall
                            5 a@a1
                            5 a
                            [((Var 5 i))]
                            (Integer 4)
                            ()
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 5 i)
                            NotEq
                            (IntegerConstant 8 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                ),
            interface_05_mod:
                (Module
                    (SymbolTable
                        2
                        {
                            a:
                                (GenericProcedure
                                    2
                                    a
                                    [2 a1
                                    2 a2]
                                    Public
                                ),
                            a1:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            a:
                                                (Variable
                                                    3
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                ),
                                            a1:
                                                (Variable
                                                    3
                                                    a1
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    a1
                                    (FunctionType
                                        [(Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 a)]
                                    [(Assignment
                                        (Var 3 a1)
                                        (IntegerBinOp
                                            (Var 3 a)
                                            Add
                                            (IntegerConstant 1 (Integer 4) Decimal)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 3 a1)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                ),
                            a2:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            a:
                                                (Variable
                                                    4
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                ),
                                            a2:
                                                (Variable
                                                    4
                                                    a2
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    a2
                                    (FunctionType
                                        [(Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 4 a)]
                                    [(Assignment
                                        (Var 4 a2)
                                        (RealBinOp
                                            (Var 4 a)
                                            Add
                                            (Cast
                                                (IntegerConstant 1 (Integer 4) Decimal)
                                                IntegerToReal
                                                (Real 4)
                                                (RealConstant
                                                    1.000000
                                                    (Real 4)
                                                )
                                                ()
                                            )
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 4 a2)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                )
                        })
                    interface_05_mod
                    ()
                    []
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
