(TranslationUnit
    (SymbolTable
        1
        {
            polymorphic_argument_02:
                (Program
                    (SymbolTable
                        2
                        {
                            c_value:
                                (Variable
                                    2
                                    c_value
                                    []
                                    Local
                                    (StringConstant
                                        "c"
                                        (String 1 1 () PointerString)
                                    )
                                    (StringConstant
                                        "c"
                                        (String 1 1 () PointerString)
                                    )
                                    Save
                                    (String 1 1 () PointerString)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            i_value:
                                (Variable
                                    2
                                    i_value
                                    []
                                    Local
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    Save
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            l_value:
                                (Variable
                                    2
                                    l_value
                                    []
                                    Local
                                    (LogicalConstant
                                        .true.
                                        (Logical 4)
                                    )
                                    (LogicalConstant
                                        .true.
                                        (Logical 4)
                                    )
                                    Save
                                    (Logical 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            r_value:
                                (Variable
                                    2
                                    r_value
                                    []
                                    Local
                                    (Cast
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        IntegerToReal
                                        (Real 4)
                                        (RealConstant
                                            1.000000
                                            (Real 4)
                                        )
                                    )
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                    Save
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            str:
                                (GenericProcedure
                                    2
                                    str
                                    [2 str_scalar]
                                    Public
                                ),
                            str_scalar:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            g1:
                                                (Variable
                                                    3
                                                    g1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (ClassType
                                                        3 ~abstract_type
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            str_scalar:
                                                (Variable
                                                    3
                                                    str_scalar
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ~abstract_type:
                                                (Struct
                                                    (SymbolTable
                                                        4
                                                        {
                                                            
                                                        })
                                                    ~abstract_type
                                                    []
                                                    []
                                                    Source
                                                    Public
                                                    .false.
                                                    .true.
                                                    []
                                                    ()
                                                    ()
                                                )
                                        })
                                    str_scalar
                                    (FunctionType
                                        [(ClassType
                                            3 ~abstract_type
                                        )]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 g1)]
                                    [(Assignment
                                        (Var 3 str_scalar)
                                        (IntegerConstant 0 (Integer 4) Decimal)
                                        ()
                                    )]
                                    (Var 3 str_scalar)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    polymorphic_argument_02
                    []
                    [(Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 i_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 i_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 r_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 r_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 c_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 c_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 l_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                2 str
                                [((Var 2 l_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 i_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 i_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 r_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 r_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 c_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 c_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 l_value))]
                                (Integer 4)
                                ()
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (IntegerCompare
                            (FunctionCall
                                2 str_scalar
                                ()
                                [((Var 2 l_value))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerConstant 0 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
