(TranslationUnit
    (SymbolTable
        1
        {
            arrays_08_func:
                (Program
                    (SymbolTable
                        2
                        {
                            copy_from_to:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            a:
                                                (Variable
                                                    3
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [(()
                                                        ())]
                                                        DescriptorArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    3
                                                    b
                                                    []
                                                    Out
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [(()
                                                        ())]
                                                        DescriptorArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            i:
                                                (Variable
                                                    3
                                                    i
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    copy_from_to
                                    (FunctionType
                                        [(Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )
                                        (Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )]
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 a)
                                    (Var 3 b)]
                                    [(DoLoop
                                        ()
                                        ((Var 3 i)
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        (ArraySize
                                            (Var 3 a)
                                            ()
                                            (Integer 4)
                                            ()
                                        )
                                        ())
                                        [(Assignment
                                            (ArrayItem
                                                (Var 3 b)
                                                [(()
                                                (Var 3 i)
                                                ())]
                                                (Integer 4)
                                                ColMajor
                                                ()
                                            )
                                            (ArrayItem
                                                (Var 3 a)
                                                [(()
                                                (Var 3 i)
                                                ())]
                                                (Integer 4)
                                                ColMajor
                                                ()
                                            )
                                            ()
                                        )]
                                        []
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            i:
                                (Variable
                                    2
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            r:
                                (Variable
                                    2
                                    r
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Logical 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            verify:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            a:
                                                (Variable
                                                    4
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [(()
                                                        ())]
                                                        DescriptorArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    4
                                                    b
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [(()
                                                        ())]
                                                        DescriptorArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            i:
                                                (Variable
                                                    4
                                                    i
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            r:
                                                (Variable
                                                    4
                                                    r
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    verify
                                    (FunctionType
                                        [(Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )
                                        (Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )]
                                        (Logical 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 4 a)
                                    (Var 4 b)]
                                    [(Assignment
                                        (Var 4 r)
                                        (LogicalConstant
                                            .true.
                                            (Logical 4)
                                        )
                                        ()
                                    )
                                    (DoLoop
                                        ()
                                        ((Var 4 i)
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        (ArraySize
                                            (Var 4 a)
                                            ()
                                            (Integer 4)
                                            ()
                                        )
                                        ())
                                        [(Assignment
                                            (Var 4 r)
                                            (LogicalBinOp
                                                (Var 4 r)
                                                And
                                                (IntegerCompare
                                                    (ArrayItem
                                                        (Var 4 a)
                                                        [(()
                                                        (Var 4 i)
                                                        ())]
                                                        (Integer 4)
                                                        ColMajor
                                                        ()
                                                    )
                                                    Eq
                                                    (ArrayItem
                                                        (Var 4 b)
                                                        [(()
                                                        (Var 4 i)
                                                        ())]
                                                        (Integer 4)
                                                        ColMajor
                                                        ()
                                                    )
                                                    (Logical 4)
                                                    ()
                                                )
                                                (Logical 4)
                                                ()
                                            )
                                            ()
                                        )]
                                        []
                                    )]
                                    (Var 4 r)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            x:
                                (Variable
                                    2
                                    x
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (IntegerConstant 10 (Integer 4) Decimal))]
                                        FixedSizeArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            y:
                                (Variable
                                    2
                                    y
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (IntegerConstant 10 (Integer 4) Decimal))]
                                        FixedSizeArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    arrays_08_func
                    []
                    [(DoLoop
                        ()
                        ((Var 2 i)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        (ArraySize
                            (Var 2 x)
                            ()
                            (Integer 4)
                            (IntegerConstant 10 (Integer 4) Decimal)
                        )
                        ())
                        [(Assignment
                            (ArrayItem
                                (Var 2 x)
                                [(()
                                (Var 2 i)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (Var 2 i)
                            ()
                        )]
                        []
                    )
                    (SubroutineCall
                        2 copy_from_to
                        ()
                        [((ArrayPhysicalCast
                            (Var 2 x)
                            FixedSizeArray
                            DescriptorArray
                            (Array
                                (Integer 4)
                                [((IntegerConstant 1 (Integer 4) Decimal)
                                (IntegerConstant 10 (Integer 4) Decimal))]
                                DescriptorArray
                            )
                            ()
                        ))
                        ((ArrayPhysicalCast
                            (Var 2 y)
                            FixedSizeArray
                            DescriptorArray
                            (Array
                                (Integer 4)
                                [((IntegerConstant 1 (Integer 4) Decimal)
                                (IntegerConstant 10 (Integer 4) Decimal))]
                                DescriptorArray
                            )
                            ()
                        ))]
                        ()
                    )
                    (Assignment
                        (Var 2 r)
                        (FunctionCall
                            2 verify
                            ()
                            [((ArrayPhysicalCast
                                (Var 2 x)
                                FixedSizeArray
                                DescriptorArray
                                (Array
                                    (Integer 4)
                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                    (IntegerConstant 10 (Integer 4) Decimal))]
                                    DescriptorArray
                                )
                                ()
                            ))
                            ((ArrayPhysicalCast
                                (Var 2 y)
                                FixedSizeArray
                                DescriptorArray
                                (Array
                                    (Integer 4)
                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                    (IntegerConstant 10 (Integer 4) Decimal))]
                                    DescriptorArray
                                )
                                ()
                            ))]
                            (Logical 4)
                            ()
                            ()
                        )
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(Var 2 r)]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (If
                        (LogicalNot
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
