(TranslationUnit
    (SymbolTable
        1
        {
            template_add_01b:
                (Program
                    (SymbolTable
                        13
                        {
                            add_t:
                                (ExternalSymbol
                                    13
                                    add_t
                                    2 add_t
                                    template_add_01b_m
                                    []
                                    add_t
                                    Public
                                ),
                            func_arg_int:
                                (ExternalSymbol
                                    13
                                    func_arg_int
                                    2 func_arg_int
                                    template_add_01b_m
                                    []
                                    func_arg_int
                                    Public
                                ),
                            r:
                                (ExternalSymbol
                                    13
                                    r
                                    2 r
                                    template_add_01b_m
                                    []
                                    r
                                    Public
                                ),
                            test_template:
                                (ExternalSymbol
                                    13
                                    test_template
                                    2 test_template
                                    template_add_01b_m
                                    []
                                    test_template
                                    Public
                                )
                        })
                    template_add_01b
                    [template_add_01b_m]
                    [(SubroutineCall
                        13 test_template
                        ()
                        []
                        ()
                    )]
                ),
            template_add_01b_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.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    7
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    7
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    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
                                                            5 ~add
                                                            [((Var 7 x))
                                                            ((Var 7 y))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 7 z)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            add_generic2:
                                                (Function
                                                    (SymbolTable
                                                        8
                                                        {
                                                            s:
                                                                (Variable
                                                                    8
                                                                    s
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    8
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    8
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    8
                                                                    z
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    add_generic2
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [f]
                                                    [(Var 8 x)
                                                    (Var 8 y)
                                                    (Var 8 z)]
                                                    [(Assignment
                                                        (Var 8 s)
                                                        (FunctionCall
                                                            5 f
                                                            5 ~add
                                                            [((FunctionCall
                                                                5 f
                                                                5 ~add
                                                                [((Var 8 x))
                                                                ((Var 8 y))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 8 z))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 8 s)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            x:
                                                                (Variable
                                                                    6
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    6
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    6
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    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
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    5
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ~add:
                                                (CustomOperator
                                                    5
                                                    ~add
                                                    [5 f]
                                                    Public
                                                )
                                        })
                                    add_t
                                    [t
                                    f]
                                    [(Require
                                        r
                                        [t
                                        f]
                                    )]
                                ),
                            func_arg_int:
                                (Function
                                    (SymbolTable
                                        9
                                        {
                                            x:
                                                (Variable
                                                    9
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    9
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            z:
                                                (Variable
                                                    9
                                                    z
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    func_arg_int
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 9 x)
                                    (Var 9 y)]
                                    [(Assignment
                                        (Var 9 z)
                                        (IntegerBinOp
                                            (Var 9 x)
                                            Add
                                            (Var 9 y)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 9 z)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            r:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            x:
                                                                (Variable
                                                                    4
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    4
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    4
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    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
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ~add:
                                                (CustomOperator
                                                    3
                                                    ~add
                                                    [3 f]
                                                    Public
                                                )
                                        })
                                    r
                                    [t
                                    f]
                                    []
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        10
                                        {
                                            add_integer:
                                                (Function
                                                    (SymbolTable
                                                        11
                                                        {
                                                            x:
                                                                (Variable
                                                                    11
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    11
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    11
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    add_integer
                                                    (FunctionType
                                                        [(Integer 4)
                                                        (Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [func_arg_int]
                                                    [(Var 11 x)
                                                    (Var 11 y)]
                                                    [(Assignment
                                                        (Var 11 z)
                                                        (FunctionCall
                                                            2 func_arg_int
                                                            5 ~add
                                                            [((Var 11 x))
                                                            ((Var 11 y))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 11 z)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            add_integer2:
                                                (Function
                                                    (SymbolTable
                                                        12
                                                        {
                                                            s:
                                                                (Variable
                                                                    12
                                                                    s
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    12
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    12
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    12
                                                                    z
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    add_integer2
                                                    (FunctionType
                                                        [(Integer 4)
                                                        (Integer 4)
                                                        (Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [func_arg_int]
                                                    [(Var 12 x)
                                                    (Var 12 y)
                                                    (Var 12 z)]
                                                    [(Assignment
                                                        (Var 12 s)
                                                        (FunctionCall
                                                            2 func_arg_int
                                                            5 ~add
                                                            [((FunctionCall
                                                                2 func_arg_int
                                                                5 ~add
                                                                [((Var 12 x))
                                                                ((Var 12 y))]
                                                                (Integer 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 12 z))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 12 s)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            n1:
                                                (Variable
                                                    10
                                                    n1
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            n2:
                                                (Variable
                                                    10
                                                    n2
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 10 n1)
                                        (FunctionCall
                                            10 add_integer
                                            ()
                                            [((IntegerConstant 5 (Integer 4) Decimal))
                                            ((IntegerConstant 9 (Integer 4) Decimal))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 10 n2)
                                        (FunctionCall
                                            10 add_integer2
                                            ()
                                            [((IntegerConstant 5 (Integer 4) Decimal))
                                            ((IntegerConstant 9 (Integer 4) Decimal))
                                            ((IntegerConstant 10 (Integer 4) Decimal))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is"
                                                (String 1 13 () PointerString)
                                            )
                                            (Var 10 n1)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is"
                                                (String 1 13 () PointerString)
                                            )
                                            (Var 10 n2)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Private
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    template_add_01b_m
                    [template_add_01b_m]
                    .false.
                    .false.
                )
        })
    []
)
