(TranslationUnit
    (SymbolTable
        1
        {
            template_add_01c:
                (Program
                    (SymbolTable
                        11
                        {
                            add_t:
                                (ExternalSymbol
                                    11
                                    add_t
                                    2 add_t
                                    template_add_01c_m
                                    []
                                    add_t
                                    Public
                                ),
                            r:
                                (ExternalSymbol
                                    11
                                    r
                                    2 r
                                    template_add_01c_m
                                    []
                                    r
                                    Public
                                ),
                            test_template:
                                (ExternalSymbol
                                    11
                                    test_template
                                    2 test_template
                                    template_add_01c_m
                                    []
                                    test_template
                                    Public
                                )
                        })
                    template_add_01c
                    [template_add_01c_m]
                    [(SubroutineCall
                        11 test_template
                        ()
                        []
                        ()
                        .false.
                    )]
                ),
            template_add_01c_m:
                (Module
                    (SymbolTable
                        2
                        {
                            add_t:
                                (Template
                                    (SymbolTable
                                        5
                                        {
                                            add_generic:
                                                (Function
                                                    (SymbolTable
                                                        7
                                                        {
                                                            x:
                                                                (Variable
                                                                    7
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            y:
                                                                (Variable
                                                                    7
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            z:
                                                                (Variable
                                                                    7
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                )
                                                        })
                                                    add_generic
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [f]
                                                    [(Var 7 x)
                                                    (Var 7 y)]
                                                    [(Assignment
                                                        (Var 7 z)
                                                        (FunctionCall
                                                            5 f
                                                            ()
                                                            [((Var 7 x))
                                                            ((Var 7 y))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 7 z)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            x:
                                                                (Variable
                                                                    6
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            y:
                                                                (Variable
                                                                    6
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            z:
                                                                (Variable
                                                                    6
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 6 x)
                                                    (Var 6 y)]
                                                    []
                                                    (Var 6 z)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    5
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    add_t
                                    [t
                                    f]
                                    [(Require
                                        r
                                        [t
                                        f]
                                    )]
                                ),
                            r:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            x:
                                                                (Variable
                                                                    4
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            y:
                                                                (Variable
                                                                    4
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            z:
                                                                (Variable
                                                                    4
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 4 x)
                                                    (Var 4 y)]
                                                    []
                                                    (Var 4 z)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    r
                                    [t
                                    f]
                                    []
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        8
                                        {
                                            add_generic:
                                                (Function
                                                    (SymbolTable
                                                        10
                                                        {
                                                            x:
                                                                (Variable
                                                                    10
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            y:
                                                                (Variable
                                                                    10
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            z:
                                                                (Variable
                                                                    10
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                )
                                                        })
                                                    add_generic
                                                    (FunctionType
                                                        [(Integer 4)
                                                        (Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [~add_intrinsic]
                                                    [(Var 10 x)
                                                    (Var 10 y)]
                                                    [(Assignment
                                                        (Var 10 z)
                                                        (FunctionCall
                                                            8 ~add_intrinsic
                                                            ()
                                                            [((Var 10 x))
                                                            ((Var 10 y))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 10 z)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            n:
                                                (Variable
                                                    8
                                                    n
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                ),
                                            ~add:
                                                (CustomOperator
                                                    8
                                                    ~add
                                                    [8 ~add_intrinsic]
                                                    Public
                                                ),
                                            ~add_intrinsic:
                                                (Function
                                                    (SymbolTable
                                                        9
                                                        {
                                                            arg0:
                                                                (Variable
                                                                    9
                                                                    arg0
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            arg1:
                                                                (Variable
                                                                    9
                                                                    arg1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                ),
                                                            ret:
                                                                (Variable
                                                                    9
                                                                    ret
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                    []
                                                                )
                                                        })
                                                    ~add_intrinsic
                                                    (FunctionType
                                                        [(Integer 4)
                                                        (Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 9 arg0)
                                                    (Var 9 arg1)]
                                                    [(Assignment
                                                        (Var 9 ret)
                                                        (IntegerBinOp
                                                            (Var 9 arg0)
                                                            Add
                                                            (Var 9 arg1)
                                                            (Integer 4)
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 9 ret)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                )
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 8 n)
                                        (FunctionCall
                                            8 add_generic
                                            ()
                                            [((IntegerConstant 5 (Integer 4) Decimal))
                                            ((IntegerConstant 9 (Integer 4) Decimal))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is"
                                                (String 1 (IntegerConstant 13 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                            )
                                            (Var 8 n)]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    template_add_01c_m
                    ()
                    [template_add_01c_m]
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
