(TranslationUnit
    (SymbolTable
        1
        {
            template_add_03:
                (Program
                    (SymbolTable
                        11
                        {
                            add_t:
                                (ExternalSymbol
                                    11
                                    add_t
                                    2 add_t
                                    template_add_03_m
                                    []
                                    add_t
                                    Public
                                ),
                            r:
                                (ExternalSymbol
                                    11
                                    r
                                    2 r
                                    template_add_03_m
                                    []
                                    r
                                    Public
                                ),
                            test_template:
                                (ExternalSymbol
                                    11
                                    test_template
                                    2 test_template
                                    template_add_03_m
                                    []
                                    test_template
                                    Public
                                )
                        })
                    template_add_03
                    [template_add_03_m]
                    [(SubroutineCall
                        11 test_template
                        ()
                        []
                        ()
                    )]
                ),
            template_add_03_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
                                                            ()
                                                            [((Var 7 x))
                                                            ((Var 7 y))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 7 z)
                                                    Public
                                                    .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_t
                                    [t
                                    f]
                                    [(Require
                                        r
                                        [t
                                        f]
                                    )]
                                ),
                            r:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            a:
                                                                (Variable
                                                                    4
                                                                    a
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            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.
                                                )
                                        })
                                    r
                                    [t
                                    f]
                                    []
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        8
                                        {
                                            add_real:
                                                (Function
                                                    (SymbolTable
                                                        10
                                                        {
                                                            x:
                                                                (Variable
                                                                    10
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            y:
                                                                (Variable
                                                                    10
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            z:
                                                                (Variable
                                                                    10
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    add_real
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        (Real 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))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 10 z)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    8
                                                    x
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    8
                                                    y
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            ~add:
                                                (CustomOperator
                                                    8
                                                    ~add
                                                    [8 ~add_intrinsic]
                                                    Public
                                                ),
                                            ~add_intrinsic:
                                                (Function
                                                    (SymbolTable
                                                        9
                                                        {
                                                            arg0:
                                                                (Variable
                                                                    9
                                                                    arg0
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            arg1:
                                                                (Variable
                                                                    9
                                                                    arg1
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            ret:
                                                                (Variable
                                                                    9
                                                                    ret
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    ~add_intrinsic
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 9 arg0)
                                                    (Var 9 arg1)]
                                                    [(Assignment
                                                        (Var 9 ret)
                                                        (RealBinOp
                                                            (Var 9 arg0)
                                                            Add
                                                            (Var 9 arg1)
                                                            (Real 4)
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 9 ret)
                                                    Public
                                                    .false.
                                                    .true.
                                                    ()
                                                )
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 8 x)
                                        (RealConstant
                                            5.100000
                                            (Real 4)
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 8 y)
                                        (RealConstant
                                            7.200000
                                            (Real 4)
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is "
                                                (String 1 14 () PointerString)
                                            )
                                            (FunctionCall
                                                8 add_real
                                                ()
                                                [((Var 8 x))
                                                ((Var 8 y))]
                                                (Real 4)
                                                ()
                                                ()
                                            )]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )
                                    (If
                                        (RealCompare
                                            (IntrinsicElementalFunction
                                                Abs
                                                [(RealBinOp
                                                    (FunctionCall
                                                        8 add_real
                                                        ()
                                                        [((Var 8 x))
                                                        ((Var 8 y))]
                                                        (Real 4)
                                                        ()
                                                        ()
                                                    )
                                                    Sub
                                                    (RealConstant
                                                        12.300000
                                                        (Real 4)
                                                    )
                                                    (Real 4)
                                                    ()
                                                )]
                                                0
                                                (Real 4)
                                                ()
                                            )
                                            Gt
                                            (RealConstant
                                                0.000010
                                                (Real 4)
                                            )
                                            (Logical 4)
                                            ()
                                        )
                                        [(ErrorStop
                                            ()
                                        )]
                                        []
                                    )]
                                    ()
                                    Private
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    template_add_03_m
                    [template_add_03_m]
                    .false.
                    .false.
                )
        })
    []
)
