(TranslationUnit
    (SymbolTable
        1
        {
            template_matrix_01:
                (Program
                    (SymbolTable
                        11
                        {
                            1_int_matrix_elements:
                                (ExternalSymbol
                                    11
                                    1_int_matrix_elements
                                    14 elements
                                    int_matrix
                                    []
                                    elements
                                    Public
                                ),
                            am:
                                (Variable
                                    11
                                    am
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (StructType
                                        11 int_matrix
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            bm:
                                (Variable
                                    11
                                    bm
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (StructType
                                        11 int_matrix
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            cm:
                                (Variable
                                    11
                                    cm
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (StructType
                                        11 int_matrix
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            dm:
                                (Variable
                                    11
                                    dm
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (StructType
                                        11 int_matrix
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            elemental_op:
                                (ExternalSymbol
                                    11
                                    elemental_op
                                    2 elemental_op
                                    template_matrix_01_m
                                    []
                                    elemental_op
                                    Public
                                ),
                            i:
                                (Variable
                                    11
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            int_add_matrix:
                                (Function
                                    (SymbolTable
                                        15
                                        {
                                            1_int_matrix_elements:
                                                (ExternalSymbol
                                                    15
                                                    1_int_matrix_elements
                                                    14 elements
                                                    int_matrix
                                                    []
                                                    elements
                                                    Public
                                                ),
                                            a:
                                                (Variable
                                                    15
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    15
                                                    b
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            r:
                                                (Variable
                                                    15
                                                    r
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    int_add_matrix
                                    (FunctionType
                                        [(StructType
                                            11 int_matrix
                                        )
                                        (StructType
                                            11 int_matrix
                                        )]
                                        (StructType
                                            11 int_matrix
                                        )
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [~add_intrinsic]
                                    [(Var 15 a)
                                    (Var 15 b)]
                                    [(Assignment
                                        (StructInstanceMember
                                            (Var 15 r)
                                            15 1_int_matrix_elements
                                            (Array
                                                (Integer 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (Var 11 n))
                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                (Var 11 n))]
                                                FixedSizeArray
                                            )
                                            ()
                                        )
                                        (FunctionCall
                                            11 ~add_intrinsic
                                            ()
                                            [((StructInstanceMember
                                                (Var 15 a)
                                                15 1_int_matrix_elements
                                                (Array
                                                    (Integer 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (Var 11 n))
                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                    (Var 11 n))]
                                                    FixedSizeArray
                                                )
                                                ()
                                            ))
                                            ((StructInstanceMember
                                                (Var 15 b)
                                                15 1_int_matrix_elements
                                                (Array
                                                    (Integer 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (Var 11 n))
                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                    (Var 11 n))]
                                                    FixedSizeArray
                                                )
                                                ()
                                            ))]
                                            (Array
                                                (Integer 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (Var 11 n))
                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                (Var 11 n))]
                                                FixedSizeArray
                                            )
                                            ()
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 15 r)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            int_matrix:
                                (Struct
                                    (SymbolTable
                                        14
                                        {
                                            elements:
                                                (Variable
                                                    14
                                                    elements
                                                    [n]
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (Var 11 n))
                                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                                        (Var 11 n))]
                                                        FixedSizeArray
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    int_matrix
                                    []
                                    [elements]
                                    Source
                                    Private
                                    .false.
                                    .false.
                                    []
                                    ()
                                    ()
                                ),
                            int_mul_matrix:
                                (Function
                                    (SymbolTable
                                        16
                                        {
                                            1_int_matrix_elements:
                                                (ExternalSymbol
                                                    16
                                                    1_int_matrix_elements
                                                    14 elements
                                                    int_matrix
                                                    []
                                                    elements
                                                    Public
                                                ),
                                            a:
                                                (Variable
                                                    16
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    16
                                                    b
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            dot:
                                                (Variable
                                                    16
                                                    dot
                                                    [n]
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (Var 11 n))]
                                                        FixedSizeArray
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            i:
                                                (Variable
                                                    16
                                                    i
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            j:
                                                (Variable
                                                    16
                                                    j
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            k:
                                                (Variable
                                                    16
                                                    k
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            r:
                                                (Variable
                                                    16
                                                    r
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (StructType
                                                        11 int_matrix
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            temp:
                                                (Variable
                                                    16
                                                    temp
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    int_mul_matrix
                                    (FunctionType
                                        [(StructType
                                            11 int_matrix
                                        )
                                        (StructType
                                            11 int_matrix
                                        )]
                                        (StructType
                                            11 int_matrix
                                        )
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [~mul_intrinsic
                                    ~add_intrinsic]
                                    [(Var 16 a)
                                    (Var 16 b)]
                                    [(DoLoop
                                        ()
                                        ((Var 16 i)
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n)
                                        ())
                                        [(DoLoop
                                            ()
                                            ((Var 16 j)
                                            (IntegerConstant 1 (Integer 4) Decimal)
                                            (Var 11 n)
                                            ())
                                            [(Assignment
                                                (Var 16 dot)
                                                (FunctionCall
                                                    11 ~mul_intrinsic
                                                    ()
                                                    [((ArraySection
                                                        (StructInstanceMember
                                                            (Var 16 a)
                                                            16 1_int_matrix_elements
                                                            (Array
                                                                (Integer 4)
                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 11 n))
                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 11 n))]
                                                                FixedSizeArray
                                                            )
                                                            ()
                                                        )
                                                        [(()
                                                        (Var 16 i)
                                                        ())
                                                        ((ArrayBound
                                                            (StructInstanceMember
                                                                (Var 16 a)
                                                                16 1_int_matrix_elements
                                                                (Array
                                                                    (Integer 4)
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))]
                                                                    FixedSizeArray
                                                                )
                                                                ()
                                                            )
                                                            (IntegerConstant 2 (Integer 4) Decimal)
                                                            (Integer 4)
                                                            LBound
                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                        )
                                                        (ArrayBound
                                                            (StructInstanceMember
                                                                (Var 16 a)
                                                                16 1_int_matrix_elements
                                                                (Array
                                                                    (Integer 4)
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))]
                                                                    FixedSizeArray
                                                                )
                                                                ()
                                                            )
                                                            (IntegerConstant 2 (Integer 4) Decimal)
                                                            (Integer 4)
                                                            UBound
                                                            ()
                                                        )
                                                        (IntegerConstant 1 (Integer 4) Decimal))]
                                                        (Array
                                                            (Integer 4)
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )
                                                        ()
                                                    ))
                                                    ((ArraySection
                                                        (StructInstanceMember
                                                            (Var 16 b)
                                                            16 1_int_matrix_elements
                                                            (Array
                                                                (Integer 4)
                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 11 n))
                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 11 n))]
                                                                FixedSizeArray
                                                            )
                                                            ()
                                                        )
                                                        [((ArrayBound
                                                            (StructInstanceMember
                                                                (Var 16 b)
                                                                16 1_int_matrix_elements
                                                                (Array
                                                                    (Integer 4)
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))]
                                                                    FixedSizeArray
                                                                )
                                                                ()
                                                            )
                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                            (Integer 4)
                                                            LBound
                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                        )
                                                        (ArrayBound
                                                            (StructInstanceMember
                                                                (Var 16 b)
                                                                16 1_int_matrix_elements
                                                                (Array
                                                                    (Integer 4)
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 11 n))]
                                                                    FixedSizeArray
                                                                )
                                                                ()
                                                            )
                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                            (Integer 4)
                                                            UBound
                                                            ()
                                                        )
                                                        (IntegerConstant 1 (Integer 4) Decimal))
                                                        (()
                                                        (Var 16 j)
                                                        ())]
                                                        (Array
                                                            (Integer 4)
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )
                                                        ()
                                                    ))]
                                                    (Array
                                                        (Integer 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (IntegerConstant 1 (Integer 4) Decimal))]
                                                        FixedSizeArray
                                                    )
                                                    ()
                                                    ()
                                                )
                                                ()
                                            )
                                            (Assignment
                                                (Var 16 temp)
                                                (ArrayItem
                                                    (Var 16 dot)
                                                    [(()
                                                    (IntegerConstant 1 (Integer 4) Decimal)
                                                    ())]
                                                    (Integer 4)
                                                    ColMajor
                                                    ()
                                                )
                                                ()
                                            )
                                            (DoLoop
                                                ()
                                                ((Var 16 k)
                                                (IntegerConstant 2 (Integer 4) Decimal)
                                                (Var 11 n)
                                                ())
                                                [(Assignment
                                                    (Var 16 temp)
                                                    (FunctionCall
                                                        11 ~add_intrinsic
                                                        ()
                                                        [((Var 16 temp))
                                                        ((ArrayItem
                                                            (Var 16 dot)
                                                            [(()
                                                            (Var 16 i)
                                                            ())]
                                                            (Integer 4)
                                                            ColMajor
                                                            ()
                                                        ))]
                                                        (Integer 4)
                                                        ()
                                                        ()
                                                    )
                                                    ()
                                                )]
                                                []
                                            )
                                            (Assignment
                                                (ArrayItem
                                                    (StructInstanceMember
                                                        (Var 16 r)
                                                        16 1_int_matrix_elements
                                                        (Array
                                                            (Integer 4)
                                                            [((IntegerConstant 1 (Integer 4) Decimal)
                                                            (Var 11 n))
                                                            ((IntegerConstant 1 (Integer 4) Decimal)
                                                            (Var 11 n))]
                                                            FixedSizeArray
                                                        )
                                                        ()
                                                    )
                                                    [(()
                                                    (Var 16 i)
                                                    ())
                                                    (()
                                                    (Var 16 j)
                                                    ())]
                                                    (Integer 4)
                                                    ColMajor
                                                    ()
                                                )
                                                (Var 16 temp)
                                                ()
                                            )]
                                            []
                                        )]
                                        []
                                    )]
                                    (Var 16 r)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            j:
                                (Variable
                                    11
                                    j
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            matrix_t:
                                (ExternalSymbol
                                    11
                                    matrix_t
                                    2 matrix_t
                                    template_matrix_01_m
                                    []
                                    matrix_t
                                    Public
                                ),
                            n:
                                (Variable
                                    11
                                    n
                                    []
                                    Local
                                    (IntegerConstant 2 (Integer 4) Decimal)
                                    (IntegerConstant 2 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            ~add:
                                (CustomOperator
                                    11
                                    ~add
                                    [11 ~add_intrinsic]
                                    Public
                                ),
                            ~add_intrinsic:
                                (Function
                                    (SymbolTable
                                        12
                                        {
                                            arg0:
                                                (Variable
                                                    12
                                                    arg0
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            arg1:
                                                (Variable
                                                    12
                                                    arg1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ret:
                                                (Variable
                                                    12
                                                    ret
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    ~add_intrinsic
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .true.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 12 arg0)
                                    (Var 12 arg1)]
                                    [(Assignment
                                        (Var 12 ret)
                                        (IntegerBinOp
                                            (Var 12 arg0)
                                            Add
                                            (Var 12 arg1)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 12 ret)
                                    Public
                                    .false.
                                    .true.
                                    ()
                                ),
                            ~mul:
                                (CustomOperator
                                    11
                                    ~mul
                                    [11 ~mul_intrinsic]
                                    Public
                                ),
                            ~mul_intrinsic:
                                (Function
                                    (SymbolTable
                                        13
                                        {
                                            arg0:
                                                (Variable
                                                    13
                                                    arg0
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            arg1:
                                                (Variable
                                                    13
                                                    arg1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ret:
                                                (Variable
                                                    13
                                                    ret
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    ~mul_intrinsic
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .true.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 13 arg0)
                                    (Var 13 arg1)]
                                    [(Assignment
                                        (Var 13 ret)
                                        (IntegerBinOp
                                            (Var 13 arg0)
                                            Mul
                                            (Var 13 arg1)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 13 ret)
                                    Public
                                    .false.
                                    .true.
                                    ()
                                )
                        })
                    template_matrix_01
                    [template_matrix_01_m]
                    [(DoLoop
                        ()
                        ((Var 11 i)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        (Var 11 n)
                        ())
                        [(DoLoop
                            ()
                            ((Var 11 j)
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Var 11 n)
                            ())
                            [(Assignment
                                (ArrayItem
                                    (StructInstanceMember
                                        (Var 11 am)
                                        11 1_int_matrix_elements
                                        (Array
                                            (Integer 4)
                                            [((IntegerConstant 1 (Integer 4) Decimal)
                                            (Var 11 n))
                                            ((IntegerConstant 1 (Integer 4) Decimal)
                                            (Var 11 n))]
                                            FixedSizeArray
                                        )
                                        ()
                                    )
                                    [(()
                                    (Var 11 i)
                                    ())
                                    (()
                                    (Var 11 j)
                                    ())]
                                    (Integer 4)
                                    ColMajor
                                    ()
                                )
                                (Var 11 i)
                                ()
                            )
                            (Assignment
                                (ArrayItem
                                    (StructInstanceMember
                                        (Var 11 bm)
                                        11 1_int_matrix_elements
                                        (Array
                                            (Integer 4)
                                            [((IntegerConstant 1 (Integer 4) Decimal)
                                            (Var 11 n))
                                            ((IntegerConstant 1 (Integer 4) Decimal)
                                            (Var 11 n))]
                                            FixedSizeArray
                                        )
                                        ()
                                    )
                                    [(()
                                    (Var 11 i)
                                    ())
                                    (()
                                    (Var 11 j)
                                    ())]
                                    (Integer 4)
                                    ColMajor
                                    ()
                                )
                                (Var 11 i)
                                ()
                            )]
                            []
                        )]
                        []
                    )
                    (Assignment
                        (Var 11 cm)
                        (FunctionCall
                            11 int_add_matrix
                            ()
                            [((Var 11 am))
                            ((Var 11 bm))]
                            (StructType
                                11 int_matrix
                            )
                            ()
                            ()
                        )
                        ()
                    )
                    (Assignment
                        (Var 11 dm)
                        (FunctionCall
                            11 int_mul_matrix
                            ()
                            [((Var 11 am))
                            ((Var 11 bm))]
                            (StructType
                                11 int_matrix
                            )
                            ()
                            ()
                        )
                        ()
                    )
                    (Print
                        (StringFormat
                            ()
                            [(ArrayItem
                                (StructInstanceMember
                                    (Var 11 cm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (ArrayItem
                                (StructInstanceMember
                                    (Var 11 cm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(ArrayItem
                                (StructInstanceMember
                                    (Var 11 cm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (ArrayItem
                                (StructInstanceMember
                                    (Var 11 cm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (IntrinsicElementalFunction
                                Achar
                                [(IntegerConstant 10 (Integer 4) Decimal)]
                                0
                                (String 1 1 () PointerString)
                                (StringConstant
                                    "\n"
                                    (String 1 1 () PointerString)
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(ArrayItem
                                (StructInstanceMember
                                    (Var 11 dm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (ArrayItem
                                (StructInstanceMember
                                    (Var 11 dm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(ArrayItem
                                (StructInstanceMember
                                    (Var 11 dm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 1 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )
                            (ArrayItem
                                (StructInstanceMember
                                    (Var 11 dm)
                                    11 1_int_matrix_elements
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))
                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 11 n))]
                                        FixedSizeArray
                                    )
                                    ()
                                )
                                [(()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())
                                (()
                                (IntegerConstant 2 (Integer 4) Decimal)
                                ())]
                                (Integer 4)
                                ColMajor
                                ()
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )]
                ),
            template_matrix_01_m:
                (Module
                    (SymbolTable
                        2
                        {
                            elemental_op:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            op:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            l:
                                                                (Variable
                                                                    4
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    4
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            rs:
                                                                (Variable
                                                                    4
                                                                    rs
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    op
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .true.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 4 l)
                                                    (Var 4 r)]
                                                    []
                                                    (Var 4 rs)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    elemental_op
                                    [t
                                    op]
                                    []
                                ),
                            matrix_t:
                                (Template
                                    (SymbolTable
                                        5
                                        {
                                            add_matrix:
                                                (Function
                                                    (SymbolTable
                                                        9
                                                        {
                                                            1_matrix_elements:
                                                                (ExternalSymbol
                                                                    9
                                                                    1_matrix_elements
                                                                    8 elements
                                                                    matrix
                                                                    []
                                                                    elements
                                                                    Public
                                                                ),
                                                            a:
                                                                (Variable
                                                                    9
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            b:
                                                                (Variable
                                                                    9
                                                                    b
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    9
                                                                    r
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    add_matrix
                                                    (FunctionType
                                                        [(StructType
                                                            5 matrix
                                                        )
                                                        (StructType
                                                            5 matrix
                                                        )]
                                                        (StructType
                                                            5 matrix
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [plus]
                                                    [(Var 9 a)
                                                    (Var 9 b)]
                                                    [(Assignment
                                                        (StructInstanceMember
                                                            (Var 9 r)
                                                            9 1_matrix_elements
                                                            (Array
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 5 n))
                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 5 n))]
                                                                PointerToDataArray
                                                            )
                                                            ()
                                                        )
                                                        (FunctionCall
                                                            5 plus
                                                            ()
                                                            [((StructInstanceMember
                                                                (Var 9 a)
                                                                9 1_matrix_elements
                                                                (Array
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 5 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 5 n))]
                                                                    PointerToDataArray
                                                                )
                                                                ()
                                                            ))
                                                            ((StructInstanceMember
                                                                (Var 9 b)
                                                                9 1_matrix_elements
                                                                (Array
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 5 n))
                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                    (Var 5 n))]
                                                                    PointerToDataArray
                                                                )
                                                                ()
                                                            ))]
                                                            (Array
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 5 n))
                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                (Var 5 n))]
                                                                PointerToDataArray
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 9 r)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            matrix:
                                                (Struct
                                                    (SymbolTable
                                                        8
                                                        {
                                                            elements:
                                                                (Variable
                                                                    8
                                                                    elements
                                                                    [n]
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (TypeParameter
                                                                            t
                                                                        )
                                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                                        (Var 5 n))
                                                                        ((IntegerConstant 1 (Integer 4) Decimal)
                                                                        (Var 5 n))]
                                                                        PointerToDataArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    matrix
                                                    []
                                                    [elements]
                                                    Source
                                                    Private
                                                    .false.
                                                    .false.
                                                    []
                                                    ()
                                                    ()
                                                ),
                                            mul_matrix:
                                                (Function
                                                    (SymbolTable
                                                        10
                                                        {
                                                            1_matrix_elements:
                                                                (ExternalSymbol
                                                                    10
                                                                    1_matrix_elements
                                                                    8 elements
                                                                    matrix
                                                                    []
                                                                    elements
                                                                    Public
                                                                ),
                                                            a:
                                                                (Variable
                                                                    10
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            b:
                                                                (Variable
                                                                    10
                                                                    b
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            dot:
                                                                (Variable
                                                                    10
                                                                    dot
                                                                    [n]
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (TypeParameter
                                                                            t
                                                                        )
                                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                                        (Var 5 n))]
                                                                        PointerToDataArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            i:
                                                                (Variable
                                                                    10
                                                                    i
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            j:
                                                                (Variable
                                                                    10
                                                                    j
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            k:
                                                                (Variable
                                                                    10
                                                                    k
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    10
                                                                    r
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (StructType
                                                                        5 matrix
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            temp:
                                                                (Variable
                                                                    10
                                                                    temp
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    mul_matrix
                                                    (FunctionType
                                                        [(StructType
                                                            5 matrix
                                                        )
                                                        (StructType
                                                            5 matrix
                                                        )]
                                                        (StructType
                                                            5 matrix
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [times
                                                    plus]
                                                    [(Var 10 a)
                                                    (Var 10 b)]
                                                    [(DoLoop
                                                        ()
                                                        ((Var 10 i)
                                                        (IntegerConstant 1 (Integer 4) Decimal)
                                                        (Var 5 n)
                                                        ())
                                                        [(DoLoop
                                                            ()
                                                            ((Var 10 j)
                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                            (Var 5 n)
                                                            ())
                                                            [(Assignment
                                                                (Var 10 dot)
                                                                (FunctionCall
                                                                    5 times
                                                                    ()
                                                                    [((ArraySection
                                                                        (StructInstanceMember
                                                                            (Var 10 a)
                                                                            10 1_matrix_elements
                                                                            (Array
                                                                                (TypeParameter
                                                                                    t
                                                                                )
                                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                (Var 5 n))
                                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                (Var 5 n))]
                                                                                PointerToDataArray
                                                                            )
                                                                            ()
                                                                        )
                                                                        [(()
                                                                        (Var 10 i)
                                                                        ())
                                                                        ((ArrayBound
                                                                            (StructInstanceMember
                                                                                (Var 10 a)
                                                                                10 1_matrix_elements
                                                                                (Array
                                                                                    (TypeParameter
                                                                                        t
                                                                                    )
                                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))
                                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))]
                                                                                    PointerToDataArray
                                                                                )
                                                                                ()
                                                                            )
                                                                            (IntegerConstant 2 (Integer 4) Decimal)
                                                                            (Integer 4)
                                                                            LBound
                                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                                        )
                                                                        (ArrayBound
                                                                            (StructInstanceMember
                                                                                (Var 10 a)
                                                                                10 1_matrix_elements
                                                                                (Array
                                                                                    (TypeParameter
                                                                                        t
                                                                                    )
                                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))
                                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))]
                                                                                    PointerToDataArray
                                                                                )
                                                                                ()
                                                                            )
                                                                            (IntegerConstant 2 (Integer 4) Decimal)
                                                                            (Integer 4)
                                                                            UBound
                                                                            ()
                                                                        )
                                                                        (IntegerConstant 1 (Integer 4) Decimal))]
                                                                        (Array
                                                                            (TypeParameter
                                                                                t
                                                                            )
                                                                            [(()
                                                                            ())]
                                                                            DescriptorArray
                                                                        )
                                                                        ()
                                                                    ))
                                                                    ((ArraySection
                                                                        (StructInstanceMember
                                                                            (Var 10 b)
                                                                            10 1_matrix_elements
                                                                            (Array
                                                                                (TypeParameter
                                                                                    t
                                                                                )
                                                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                (Var 5 n))
                                                                                ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                (Var 5 n))]
                                                                                PointerToDataArray
                                                                            )
                                                                            ()
                                                                        )
                                                                        [((ArrayBound
                                                                            (StructInstanceMember
                                                                                (Var 10 b)
                                                                                10 1_matrix_elements
                                                                                (Array
                                                                                    (TypeParameter
                                                                                        t
                                                                                    )
                                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))
                                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))]
                                                                                    PointerToDataArray
                                                                                )
                                                                                ()
                                                                            )
                                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                                            (Integer 4)
                                                                            LBound
                                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                                        )
                                                                        (ArrayBound
                                                                            (StructInstanceMember
                                                                                (Var 10 b)
                                                                                10 1_matrix_elements
                                                                                (Array
                                                                                    (TypeParameter
                                                                                        t
                                                                                    )
                                                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))
                                                                                    ((IntegerConstant 1 (Integer 4) Decimal)
                                                                                    (Var 5 n))]
                                                                                    PointerToDataArray
                                                                                )
                                                                                ()
                                                                            )
                                                                            (IntegerConstant 1 (Integer 4) Decimal)
                                                                            (Integer 4)
                                                                            UBound
                                                                            ()
                                                                        )
                                                                        (IntegerConstant 1 (Integer 4) Decimal))
                                                                        (()
                                                                        (Var 10 j)
                                                                        ())]
                                                                        (Array
                                                                            (TypeParameter
                                                                                t
                                                                            )
                                                                            [(()
                                                                            ())]
                                                                            DescriptorArray
                                                                        )
                                                                        ()
                                                                    ))]
                                                                    (Array
                                                                        (TypeParameter
                                                                            t
                                                                        )
                                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                                        (IntegerConstant 1 (Integer 4) Decimal))]
                                                                        DescriptorArray
                                                                    )
                                                                    ()
                                                                    ()
                                                                )
                                                                ()
                                                            )
                                                            (Assignment
                                                                (Var 10 temp)
                                                                (ArrayItem
                                                                    (Var 10 dot)
                                                                    [(()
                                                                    (IntegerConstant 1 (Integer 4) Decimal)
                                                                    ())]
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ColMajor
                                                                    ()
                                                                )
                                                                ()
                                                            )
                                                            (DoLoop
                                                                ()
                                                                ((Var 10 k)
                                                                (IntegerConstant 2 (Integer 4) Decimal)
                                                                (Var 5 n)
                                                                ())
                                                                [(Assignment
                                                                    (Var 10 temp)
                                                                    (FunctionCall
                                                                        5 plus
                                                                        ()
                                                                        [((Var 10 temp))
                                                                        ((ArrayItem
                                                                            (Var 10 dot)
                                                                            [(()
                                                                            (Var 10 i)
                                                                            ())]
                                                                            (TypeParameter
                                                                                t
                                                                            )
                                                                            ColMajor
                                                                            ()
                                                                        ))]
                                                                        (TypeParameter
                                                                            t
                                                                        )
                                                                        ()
                                                                        ()
                                                                    )
                                                                    ()
                                                                )]
                                                                []
                                                            )
                                                            (Assignment
                                                                (ArrayItem
                                                                    (StructInstanceMember
                                                                        (Var 10 r)
                                                                        10 1_matrix_elements
                                                                        (Array
                                                                            (TypeParameter
                                                                                t
                                                                            )
                                                                            [((IntegerConstant 1 (Integer 4) Decimal)
                                                                            (Var 5 n))
                                                                            ((IntegerConstant 1 (Integer 4) Decimal)
                                                                            (Var 5 n))]
                                                                            PointerToDataArray
                                                                        )
                                                                        ()
                                                                    )
                                                                    [(()
                                                                    (Var 10 i)
                                                                    ())
                                                                    (()
                                                                    (Var 10 j)
                                                                    ())]
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ColMajor
                                                                    ()
                                                                )
                                                                (Var 10 temp)
                                                                ()
                                                            )]
                                                            []
                                                        )]
                                                        []
                                                    )]
                                                    (Var 10 r)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            n:
                                                (Variable
                                                    5
                                                    n
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            plus:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            l:
                                                                (Variable
                                                                    6
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    6
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            rs:
                                                                (Variable
                                                                    6
                                                                    rs
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    plus
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .true.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 6 l)
                                                    (Var 6 r)]
                                                    []
                                                    (Var 6 rs)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    5
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            times:
                                                (Function
                                                    (SymbolTable
                                                        7
                                                        {
                                                            l:
                                                                (Variable
                                                                    7
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    7
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            rs:
                                                                (Variable
                                                                    7
                                                                    rs
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    times
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .true.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 7 l)
                                                    (Var 7 r)]
                                                    []
                                                    (Var 7 rs)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                )
                                        })
                                    matrix_t
                                    [t
                                    plus
                                    times
                                    n]
                                    [(Require
                                        elemental_op
                                        [t
                                        plus]
                                    )
                                    (Require
                                        elemental_op
                                        [t
                                        times]
                                    )]
                                )
                        })
                    template_matrix_01_m
                    [template_matrix_01_m]
                    .false.
                    .false.
                )
        })
    []
)
