(TranslationUnit
    (SymbolTable
        1
        {
            template_03:
                (Program
                    (SymbolTable
                        13
                        {
                            f:
                                (ExternalSymbol
                                    13
                                    f
                                    2 f
                                    template_03_m
                                    []
                                    f
                                    Public
                                )
                        })
                    template_03
                    [template_03_m]
                    [(SubroutineCall
                        13 f
                        ()
                        []
                        ()
                    )]
                ),
            template_03_m:
                (Module
                    (SymbolTable
                        2
                        {
                            axpy_tmpl:
                                (Template
                                    (SymbolTable
                                        5
                                        {
                                            axpy:
                                                (Function
                                                    (SymbolTable
                                                        8
                                                        {
                                                            a:
                                                                (Variable
                                                                    8
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            i:
                                                                (Variable
                                                                    8
                                                                    i
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    8
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (TypeParameter
                                                                            u
                                                                        )
                                                                        [(()
                                                                        ())]
                                                                        DescriptorArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    8
                                                                    y
                                                                    []
                                                                    InOut
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (TypeParameter
                                                                            v
                                                                        )
                                                                        [(()
                                                                        ())]
                                                                        DescriptorArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    axpy
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (Array
                                                            (TypeParameter
                                                                u
                                                            )
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )
                                                        (Array
                                                            (TypeParameter
                                                                v
                                                            )
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )]
                                                        ()
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [times
                                                    plus]
                                                    [(Var 8 a)
                                                    (Var 8 x)
                                                    (Var 8 y)]
                                                    [(DoLoop
                                                        ()
                                                        ((Var 8 i)
                                                        (IntegerConstant 1 (Integer 4) Decimal)
                                                        (ArraySize
                                                            (Var 8 x)
                                                            ()
                                                            (Integer 4)
                                                            ()
                                                        )
                                                        ())
                                                        [(Assignment
                                                            (ArrayItem
                                                                (Var 8 y)
                                                                [(()
                                                                (Var 8 i)
                                                                ())]
                                                                (TypeParameter
                                                                    v
                                                                )
                                                                ColMajor
                                                                ()
                                                            )
                                                            (FunctionCall
                                                                5 plus
                                                                ()
                                                                [((ArrayItem
                                                                    (Var 8 y)
                                                                    [(()
                                                                    (Var 8 i)
                                                                    ())]
                                                                    (TypeParameter
                                                                        v
                                                                    )
                                                                    ColMajor
                                                                    ()
                                                                ))
                                                                ((FunctionCall
                                                                    5 times
                                                                    ()
                                                                    [((Var 8 a))
                                                                    ((ArrayItem
                                                                        (Var 8 x)
                                                                        [(()
                                                                        (Var 8 i)
                                                                        ())]
                                                                        (TypeParameter
                                                                            u
                                                                        )
                                                                        ColMajor
                                                                        ()
                                                                    ))]
                                                                    (TypeParameter
                                                                        w
                                                                    )
                                                                    ()
                                                                    ()
                                                                ))]
                                                                (TypeParameter
                                                                    v
                                                                )
                                                                ()
                                                                ()
                                                            )
                                                            ()
                                                        )]
                                                        []
                                                    )]
                                                    ()
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            plus:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            a:
                                                                (Variable
                                                                    6
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        v
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            b:
                                                                (Variable
                                                                    6
                                                                    b
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        w
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            op:
                                                                (Variable
                                                                    6
                                                                    op
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        v
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    plus
                                                    (FunctionType
                                                        [(TypeParameter
                                                            v
                                                        )
                                                        (TypeParameter
                                                            w
                                                        )]
                                                        (TypeParameter
                                                            v
                                                        )
                                                        Source
                                                        Interface
                                                        ()
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 6 a)
                                                    (Var 6 b)]
                                                    []
                                                    (Var 6 op)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    5
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            times:
                                                (Function
                                                    (SymbolTable
                                                        7
                                                        {
                                                            a:
                                                                (Variable
                                                                    7
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            b:
                                                                (Variable
                                                                    7
                                                                    b
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        u
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            op:
                                                                (Variable
                                                                    7
                                                                    op
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        w
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    times
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            u
                                                        )]
                                                        (TypeParameter
                                                            w
                                                        )
                                                        Source
                                                        Interface
                                                        ()
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 7 a)
                                                    (Var 7 b)]
                                                    []
                                                    (Var 7 op)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            u:
                                                (Variable
                                                    5
                                                    u
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        u
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            v:
                                                (Variable
                                                    5
                                                    v
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        v
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            w:
                                                (Variable
                                                    5
                                                    w
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        w
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    axpy_tmpl
                                    [t
                                    u
                                    v
                                    w
                                    plus
                                    times]
                                    [(Require
                                        op
                                        [v
                                        w
                                        plus]
                                    )
                                    (Require
                                        op
                                        [t
                                        u
                                        w
                                        times]
                                    )]
                                ),
                            f:
                                (Function
                                    (SymbolTable
                                        9
                                        {
                                            a:
                                                (Variable
                                                    9
                                                    a
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            axpy:
                                                (Function
                                                    (SymbolTable
                                                        12
                                                        {
                                                            a:
                                                                (Variable
                                                                    12
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            i:
                                                                (Variable
                                                                    12
                                                                    i
                                                                    []
                                                                    Local
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    12
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (Integer 4)
                                                                        [(()
                                                                        ())]
                                                                        DescriptorArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    12
                                                                    y
                                                                    []
                                                                    InOut
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Array
                                                                        (Real 4)
                                                                        [(()
                                                                        ())]
                                                                        DescriptorArray
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    axpy
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Array
                                                            (Integer 4)
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )
                                                        (Array
                                                            (Real 4)
                                                            [(()
                                                            ())]
                                                            DescriptorArray
                                                        )]
                                                        ()
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [~mul_intrinsic
                                                    ~add_intrinsic]
                                                    [(Var 12 a)
                                                    (Var 12 x)
                                                    (Var 12 y)]
                                                    [(DoLoop
                                                        ()
                                                        ((Var 12 i)
                                                        (IntegerConstant 1 (Integer 4) Decimal)
                                                        (ArraySize
                                                            (Var 12 x)
                                                            ()
                                                            (Integer 4)
                                                            ()
                                                        )
                                                        ())
                                                        [(Assignment
                                                            (ArrayItem
                                                                (Var 12 y)
                                                                [(()
                                                                (Var 12 i)
                                                                ())]
                                                                (Real 4)
                                                                ColMajor
                                                                ()
                                                            )
                                                            (FunctionCall
                                                                9 ~add_intrinsic
                                                                ()
                                                                [((ArrayItem
                                                                    (Var 12 y)
                                                                    [(()
                                                                    (Var 12 i)
                                                                    ())]
                                                                    (Real 4)
                                                                    ColMajor
                                                                    ()
                                                                ))
                                                                ((FunctionCall
                                                                    9 ~mul_intrinsic
                                                                    ()
                                                                    [((Var 12 a))
                                                                    ((ArrayItem
                                                                        (Var 12 x)
                                                                        [(()
                                                                        (Var 12 i)
                                                                        ())]
                                                                        (Integer 4)
                                                                        ColMajor
                                                                        ()
                                                                    ))]
                                                                    (Real 4)
                                                                    ()
                                                                    ()
                                                                ))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            )
                                                            ()
                                                        )]
                                                        []
                                                    )]
                                                    ()
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            dp:
                                                (Variable
                                                    9
                                                    dp
                                                    []
                                                    Local
                                                    (TypeInquiry
                                                        Kind
                                                        (Real 8)
                                                        (RealConstant
                                                            1.000000
                                                            (Real 8)
                                                        )
                                                        (Integer 4)
                                                        (IntegerConstant 8 (Integer 4) Decimal)
                                                    )
                                                    (IntegerConstant 8 (Integer 4) Decimal)
                                                    Parameter
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            sp:
                                                (Variable
                                                    9
                                                    sp
                                                    []
                                                    Local
                                                    (TypeInquiry
                                                        Kind
                                                        (Real 4)
                                                        (RealConstant
                                                            1.000000
                                                            (Real 4)
                                                        )
                                                        (Integer 4)
                                                        (IntegerConstant 4 (Integer 4) Decimal)
                                                    )
                                                    (IntegerConstant 4 (Integer 4) Decimal)
                                                    Parameter
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    9
                                                    x
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (IntegerConstant 3 (Integer 4) Decimal))]
                                                        FixedSizeArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    9
                                                    y
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Real 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (IntegerConstant 3 (Integer 4) Decimal))]
                                                        FixedSizeArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ~add:
                                                (CustomOperator
                                                    9
                                                    ~add
                                                    [9 ~add_intrinsic]
                                                    Public
                                                ),
                                            ~add_intrinsic:
                                                (Function
                                                    (SymbolTable
                                                        10
                                                        {
                                                            arg0:
                                                                (Variable
                                                                    10
                                                                    arg0
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            arg1:
                                                                (Variable
                                                                    10
                                                                    arg1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            ret:
                                                                (Variable
                                                                    10
                                                                    ret
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    ~add_intrinsic
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 10 arg0)
                                                    (Var 10 arg1)]
                                                    [(Assignment
                                                        (Var 10 ret)
                                                        (RealBinOp
                                                            (Var 10 arg0)
                                                            Add
                                                            (Var 10 arg1)
                                                            (Real 4)
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 10 ret)
                                                    Public
                                                    .false.
                                                    .true.
                                                    ()
                                                ),
                                            ~mul:
                                                (CustomOperator
                                                    9
                                                    ~mul
                                                    [9 ~mul_intrinsic]
                                                    Public
                                                ),
                                            ~mul_intrinsic:
                                                (Function
                                                    (SymbolTable
                                                        11
                                                        {
                                                            arg0:
                                                                (Variable
                                                                    11
                                                                    arg0
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            arg1:
                                                                (Variable
                                                                    11
                                                                    arg1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            ret:
                                                                (Variable
                                                                    11
                                                                    ret
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    ~mul_intrinsic
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Integer 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 11 arg0)
                                                    (Var 11 arg1)]
                                                    [(Assignment
                                                        (Var 11 ret)
                                                        (RealBinOp
                                                            (Var 11 arg0)
                                                            Mul
                                                            (Cast
                                                                (Var 11 arg1)
                                                                IntegerToReal
                                                                (Real 4)
                                                                ()
                                                            )
                                                            (Real 4)
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 11 ret)
                                                    Public
                                                    .false.
                                                    .true.
                                                    ()
                                                )
                                        })
                                    f
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 9 a)
                                        (RealConstant
                                            0.500000
                                            (Real 4)
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 9 x)
                                        (ArrayBroadcast
                                            (IntegerConstant 2 (Integer 4) Decimal)
                                            (ArrayConstant
                                                4
                                                [3]
                                                (Array
                                                    (Integer 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (IntegerConstant 1 (Integer 4) Decimal))]
                                                    FixedSizeArray
                                                )
                                                ColMajor
                                            )
                                            (Array
                                                (Integer 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (IntegerConstant 3 (Integer 4) Decimal))]
                                                FixedSizeArray
                                            )
                                            (ArrayConstant
                                                12
                                                [2, 2, 2]
                                                (Array
                                                    (Integer 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (IntegerConstant 3 (Integer 4) Decimal))]
                                                    FixedSizeArray
                                                )
                                                ColMajor
                                            )
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 9 y)
                                        (ArrayBroadcast
                                            (Cast
                                                (IntegerConstant 0 (Integer 4) Decimal)
                                                IntegerToReal
                                                (Real 4)
                                                (RealConstant
                                                    0.000000
                                                    (Real 4)
                                                )
                                            )
                                            (ArrayConstant
                                                4
                                                [3]
                                                (Array
                                                    (Integer 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (IntegerConstant 1 (Integer 4) Decimal))]
                                                    FixedSizeArray
                                                )
                                                ColMajor
                                            )
                                            (Array
                                                (Real 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (IntegerConstant 3 (Integer 4) Decimal))]
                                                FixedSizeArray
                                            )
                                            (ArrayConstant
                                                12
                                                [0.00000000e+00, 0.00000000e+00, 0.00000000e+00]
                                                (Array
                                                    (Real 4)
                                                    [((IntegerConstant 1 (Integer 4) Decimal)
                                                    (IntegerConstant 3 (Integer 4) Decimal))]
                                                    FixedSizeArray
                                                )
                                                ColMajor
                                            )
                                        )
                                        ()
                                    )
                                    (SubroutineCall
                                        9 axpy
                                        ()
                                        [((Var 9 a))
                                        ((ArrayPhysicalCast
                                            (Var 9 x)
                                            FixedSizeArray
                                            DescriptorArray
                                            (Array
                                                (Integer 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (IntegerConstant 3 (Integer 4) Decimal))]
                                                DescriptorArray
                                            )
                                            ()
                                        ))
                                        ((ArrayPhysicalCast
                                            (Var 9 y)
                                            FixedSizeArray
                                            DescriptorArray
                                            (Array
                                                (Real 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (IntegerConstant 3 (Integer 4) Decimal))]
                                                DescriptorArray
                                            )
                                            ()
                                        ))]
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(Var 9 y)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            op:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            op:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            a:
                                                                (Variable
                                                                    4
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            b:
                                                                (Variable
                                                                    4
                                                                    b
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        u
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            op:
                                                                (Variable
                                                                    4
                                                                    op
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        v
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    op
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            u
                                                        )]
                                                        (TypeParameter
                                                            v
                                                        )
                                                        Source
                                                        Interface
                                                        ()
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 4 a)
                                                    (Var 4 b)]
                                                    []
                                                    (Var 4 op)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            u:
                                                (Variable
                                                    3
                                                    u
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        u
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            v:
                                                (Variable
                                                    3
                                                    v
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        v
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    op
                                    [t
                                    u
                                    v
                                    op]
                                    []
                                )
                        })
                    template_03_m
                    [template_03_m]
                    .false.
                    .false.
                )
        })
    []
)
