(TranslationUnit
    (SymbolTable
        1
        {
            arrays_01:
                (Program
                    (SymbolTable
                        2
                        {
                            a:
                                (Variable
                                    2
                                    a
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (IntegerConstant 3 (Integer 4) Decimal))]
                                        FixedSizeArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            b:
                                (Variable
                                    2
                                    b
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (IntegerConstant 4 (Integer 4) Decimal))]
                                        FixedSizeArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            i:
                                (Variable
                                    2
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            size_a:
                                (Variable
                                    2
                                    size_a
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            size_b:
                                (Variable
                                    2
                                    size_b
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                )
                        })
                    arrays_01
                    []
                    [(Assignment
                        (Var 2 size_a)
                        (ArraySize
                            (Var 2 a)
                            ()
                            (Integer 4)
                            (IntegerConstant 3 (Integer 4) Decimal)
                        )
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 size_b)
                        (ArraySize
                            (Var 2 b)
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Integer 4)
                            (IntegerConstant 4 (Integer 4) Decimal)
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 size_a)
                            NotEq
                            (IntegerConstant 3 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 size_b)
                            NotEq
                            (IntegerConstant 4 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (DoLoop
                        ()
                        ((Var 2 i)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        (Var 2 size_a)
                        ())
                        [(Assignment
                            (ArrayItem
                                (Var 2 a)
                                [(()
                                (Var 2 i)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (IntegerBinOp
                                (Var 2 i)
                                Add
                                (IntegerConstant 10 (Integer 4) Decimal)
                                (Integer 4)
                                ()
                            )
                            ()
                            .false.
                            .false.
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 a)
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 11 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 a)
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 12 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 a)
                                [(()
                                (IntegerConstant 3 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 13 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (DoLoop
                        ()
                        ((Var 2 i)
                        (IntegerConstant 11 (Integer 4) Decimal)
                        (IntegerBinOp
                            (IntegerConstant 10 (Integer 4) Decimal)
                            Add
                            (Var 2 size_b)
                            (Integer 4)
                            ()
                        )
                        ())
                        [(Assignment
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerBinOp
                                    (Var 2 i)
                                    Sub
                                    (IntegerConstant 10 (Integer 4) Decimal)
                                    (Integer 4)
                                    ()
                                )
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (Var 2 i)
                            ()
                            .false.
                            .false.
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 11 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 12 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 3 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 13 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 4 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 14 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (DoLoop
                        ()
                        ((Var 2 i)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        (Var 2 size_a)
                        ())
                        [(Assignment
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (Var 2 i)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (IntegerBinOp
                                (ArrayItem
                                    (Var 2 a)
                                    [(()
                                    (Var 2 i)
                                    ())]
                                    (Integer 4)
                                    ColMajor
                                    ()
                                )
                                Sub
                                (IntegerConstant 10 (Integer 4) Decimal)
                                (Integer 4)
                                ()
                            )
                            ()
                            .false.
                            .false.
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 2 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 3 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 3 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (ArrayItem
                            (Var 2 b)
                            [(()
                            (IntegerConstant 4 (Integer 4) Decimal)
                            ())]
                            (Integer 4)
                            ColMajor
                            ()
                        )
                        (IntegerBinOp
                            (IntegerBinOp
                                (IntegerBinOp
                                    (ArrayItem
                                        (Var 2 b)
                                        [(()
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        ())]
                                        (Integer 4)
                                        ColMajor
                                        ()
                                    )
                                    Add
                                    (ArrayItem
                                        (Var 2 b)
                                        [(()
                                        (IntegerConstant 2 (Integer 4) Decimal)
                                        ())]
                                        (Integer 4)
                                        ColMajor
                                        ()
                                    )
                                    (Integer 4)
                                    ()
                                )
                                Add
                                (ArrayItem
                                    (Var 2 b)
                                    [(()
                                    (IntegerConstant 3 (Integer 4) Decimal)
                                    ())]
                                    (Integer 4)
                                    ColMajor
                                    ()
                                )
                                (Integer 4)
                                ()
                            )
                            Add
                            (ArrayItem
                                (Var 2 a)
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (Integer 4)
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 4 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 17 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (ArrayItem
                            (Var 2 b)
                            [(()
                            (IntegerConstant 4 (Integer 4) Decimal)
                            ())]
                            (Integer 4)
                            ColMajor
                            ()
                        )
                        (ArrayItem
                            (Var 2 a)
                            [(()
                            (IntegerConstant 1 (Integer 4) Decimal)
                            ())]
                            (Integer 4)
                            ColMajor
                            ()
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (ArrayItem
                                (Var 2 b)
                                [(()
                                (IntegerConstant 4 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            NotEq
                            (IntegerConstant 11 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
