(TranslationUnit
    (SymbolTable
        1
        {
            template_add_01:
                (Program
                    (SymbolTable
                        13
                        {
                            add_t:
                                (ExternalSymbol
                                    13
                                    add_t
                                    2 add_t
                                    template_add_01_m
                                    []
                                    add_t
                                    Public
                                ),
                            r:
                                (ExternalSymbol
                                    13
                                    r
                                    2 r
                                    template_add_01_m
                                    []
                                    r
                                    Public
                                ),
                            test_template:
                                (ExternalSymbol
                                    13
                                    test_template
                                    2 test_template
                                    template_add_01_m
                                    []
                                    test_template
                                    Public
                                )
                        })
                    template_add_01
                    [template_add_01_m]
                    [(SubroutineCall
                        13 test_template
                        ()
                        []
                        ()
                        .false.
                    )]
                ),
            template_add_01_m:
                (Module
                    (SymbolTable
                        2
                        {
                            add_t:
                                (Template
                                    (SymbolTable
                                        5
                                        {
                                            add_generic:
                                                (Function
                                                    (SymbolTable
                                                        7
                                                        {
                                                            x:
                                                                (Variable
                                                                    7
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            y:
                                                                (Variable
                                                                    7
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            z:
                                                                (Variable
                                                                    7
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    add_generic
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [f]
                                                    [(Var 7 x)
                                                    (Var 7 y)]
                                                    [(Assignment
                                                        (Var 7 z)
                                                        (FunctionCall
                                                            5 f
                                                            ()
                                                            [((Var 7 x))
                                                            ((Var 7 y))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 7 z)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            x:
                                                                (Variable
                                                                    6
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            y:
                                                                (Variable
                                                                    6
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            z:
                                                                (Variable
                                                                    6
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 6 x)
                                                    (Var 6 y)]
                                                    []
                                                    (Var 6 z)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    5
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    add_t
                                    [t
                                    f]
                                    [(Require
                                        r
                                        [t
                                        f]
                                    )]
                                ),
                            func_arg_int:
                                (Function
                                    (SymbolTable
                                        9
                                        {
                                            x:
                                                (Variable
                                                    9
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            y:
                                                (Variable
                                                    9
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            z:
                                                (Variable
                                                    9
                                                    z
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    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)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 9 z)
                                    Private
                                    .true.
                                    .true.
                                    ()
                                ),
                            func_arg_real:
                                (Function
                                    (SymbolTable
                                        8
                                        {
                                            x:
                                                (Variable
                                                    8
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            y:
                                                (Variable
                                                    8
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            z:
                                                (Variable
                                                    8
                                                    z
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    func_arg_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 8 x)
                                    (Var 8 y)]
                                    [(Assignment
                                        (Var 8 z)
                                        (RealBinOp
                                            (Var 8 x)
                                            Add
                                            (Var 8 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 8 z)
                                    Private
                                    .true.
                                    .true.
                                    ()
                                ),
                            r:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            x:
                                                                (Variable
                                                                    4
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            y:
                                                                (Variable
                                                                    4
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            z:
                                                                (Variable
                                                                    4
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 4 x)
                                                    (Var 4 y)]
                                                    []
                                                    (Var 4 z)
                                                    Private
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    r
                                    [t
                                    f]
                                    []
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        10
                                        {
                                            a:
                                                (Variable
                                                    10
                                                    a
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            add_integer:
                                                (Function
                                                    (SymbolTable
                                                        12
                                                        {
                                                            x:
                                                                (Variable
                                                                    12
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            y:
                                                                (Variable
                                                                    12
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            z:
                                                                (Variable
                                                                    12
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    add_integer
                                                    (FunctionType
                                                        [(Integer 4)
                                                        (Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [func_arg_int]
                                                    [(Var 12 x)
                                                    (Var 12 y)]
                                                    [(Assignment
                                                        (Var 12 z)
                                                        (FunctionCall
                                                            2 func_arg_int
                                                            ()
                                                            [((Var 12 x))
                                                            ((Var 12 y))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 12 z)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            add_real:
                                                (Function
                                                    (SymbolTable
                                                        11
                                                        {
                                                            x:
                                                                (Variable
                                                                    11
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            y:
                                                                (Variable
                                                                    11
                                                                    y
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                ),
                                                            z:
                                                                (Variable
                                                                    11
                                                                    z
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                    .false.
                                                                    ()
                                                                    .false.
                                                                    .false.
                                                                    NotMethod
                                                                    ()
                                                                )
                                                        })
                                                    add_real
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [func_arg_real]
                                                    [(Var 11 x)
                                                    (Var 11 y)]
                                                    [(Assignment
                                                        (Var 11 z)
                                                        (FunctionCall
                                                            2 func_arg_real
                                                            ()
                                                            [((Var 11 x))
                                                            ((Var 11 y))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                        .false.
                                                        .false.
                                                    )]
                                                    (Var 11 z)
                                                    Public
                                                    .true.
                                                    .true.
                                                    ()
                                                ),
                                            b:
                                                (Variable
                                                    10
                                                    b
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    10
                                                    x
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            y:
                                                (Variable
                                                    10
                                                    y
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 10 x)
                                        (RealConstant
                                            5.100000
                                            (Real 4)
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Assignment
                                        (Var 10 y)
                                        (RealConstant
                                            7.200000
                                            (Real 4)
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is "
                                                (String 1 (IntegerConstant 14 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                            )
                                            (FunctionCall
                                                10 add_real
                                                ()
                                                [((Var 10 x))
                                                ((Var 10 y))]
                                                (Real 4)
                                                ()
                                                ()
                                            )]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )
                                    (If
                                        ()
                                        (RealCompare
                                            (IntrinsicElementalFunction
                                                Abs
                                                [(RealBinOp
                                                    (FunctionCall
                                                        10 add_real
                                                        ()
                                                        [((Var 10 x))
                                                        ((Var 10 y))]
                                                        (Real 4)
                                                        ()
                                                        ()
                                                    )
                                                    Sub
                                                    (RealConstant
                                                        12.300000
                                                        (Real 4)
                                                    )
                                                    (Real 4)
                                                    ()
                                                )]
                                                0
                                                (Real 4)
                                                ()
                                            )
                                            Gt
                                            (RealConstant
                                                0.000010
                                                (Real 4)
                                            )
                                            (Logical 4)
                                            ()
                                        )
                                        [(ErrorStop
                                            ()
                                        )]
                                        []
                                    )
                                    (Assignment
                                        (Var 10 a)
                                        (IntegerConstant 5 (Integer 4) Decimal)
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Assignment
                                        (Var 10 b)
                                        (IntegerConstant 9 (Integer 4) Decimal)
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "The result is "
                                                (String 1 (IntegerConstant 14 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                            )
                                            (FunctionCall
                                                10 add_integer
                                                ()
                                                [((Var 10 a))
                                                ((Var 10 b))]
                                                (Integer 4)
                                                ()
                                                ()
                                            )]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )
                                    (If
                                        ()
                                        (IntegerCompare
                                            (FunctionCall
                                                10 add_integer
                                                ()
                                                [((Var 10 a))
                                                ((Var 10 b))]
                                                (Integer 4)
                                                ()
                                                ()
                                            )
                                            NotEq
                                            (IntegerConstant 14 (Integer 4) Decimal)
                                            (Logical 4)
                                            ()
                                        )
                                        [(ErrorStop
                                            ()
                                        )]
                                        []
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    template_add_01_m
                    ()
                    [template_add_01_m]
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
