(TranslationUnit
    (SymbolTable
        1
        {
            math_integer_m:
                (Module
                    (SymbolTable
                        2
                        {
                            add_integer:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            result:
                                                (Variable
                                                    3
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    3
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    3
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    add_integer
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 x)
                                    (Var 3 y)]
                                    [(Assignment
                                        (Var 3 result)
                                        (IntegerBinOp
                                            (Var 3 x)
                                            Add
                                            (Var 3 y)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 3 result)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            max_integer:
                                (Function
                                    (SymbolTable
                                        5
                                        {
                                            result:
                                                (Variable
                                                    5
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    5
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    5
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    max_integer
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 5 x)
                                    (Var 5 y)]
                                    [(Assignment
                                        (Var 5 result)
                                        (IntrinsicElementalFunction
                                            Max
                                            [(Var 5 x)
                                            (Var 5 y)]
                                            0
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 5 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            min_integer:
                                (Function
                                    (SymbolTable
                                        6
                                        {
                                            result:
                                                (Variable
                                                    6
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    6
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    6
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    min_integer
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 6 x)
                                    (Var 6 y)]
                                    [(Assignment
                                        (Var 6 result)
                                        (IntrinsicElementalFunction
                                            Min
                                            [(Var 6 x)
                                            (Var 6 y)]
                                            0
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 6 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            minus_integer:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            result:
                                                (Variable
                                                    4
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    4
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    4
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    minus_integer
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 4 x)
                                    (Var 4 y)]
                                    [(Assignment
                                        (Var 4 result)
                                        (IntegerBinOp
                                            (Var 4 x)
                                            Sub
                                            (Var 4 y)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 4 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            one_integer:
                                (Function
                                    (SymbolTable
                                        8
                                        {
                                            result:
                                                (Variable
                                                    8
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    one_integer
                                    (FunctionType
                                        []
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 8 result)
                                        (IntegerConstant 1 (Integer 4) Decimal)
                                        ()
                                    )]
                                    (Var 8 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            zero_integer:
                                (Function
                                    (SymbolTable
                                        7
                                        {
                                            result:
                                                (Variable
                                                    7
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    zero_integer
                                    (FunctionType
                                        []
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 7 result)
                                        (IntegerConstant 0 (Integer 4) Decimal)
                                        ()
                                    )]
                                    (Var 7 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    math_integer_m
                    []
                    .false.
                    .false.
                ),
            math_real_m:
                (Module
                    (SymbolTable
                        9
                        {
                            add_real:
                                (Function
                                    (SymbolTable
                                        10
                                        {
                                            result:
                                                (Variable
                                                    10
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            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.
                                                )
                                        })
                                    add_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 10 x)
                                    (Var 10 y)]
                                    [(Assignment
                                        (Var 10 result)
                                        (RealBinOp
                                            (Var 10 x)
                                            Add
                                            (Var 10 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 10 result)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            max_real:
                                (Function
                                    (SymbolTable
                                        13
                                        {
                                            result:
                                                (Variable
                                                    13
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    13
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    13
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    max_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 13 x)
                                    (Var 13 y)]
                                    [(Assignment
                                        (Var 13 result)
                                        (IntrinsicElementalFunction
                                            Max
                                            [(Var 13 x)
                                            (Var 13 y)]
                                            0
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 13 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            min_real:
                                (Function
                                    (SymbolTable
                                        14
                                        {
                                            result:
                                                (Variable
                                                    14
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    14
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    14
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    min_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 14 x)
                                    (Var 14 y)]
                                    [(Assignment
                                        (Var 14 result)
                                        (IntrinsicElementalFunction
                                            Min
                                            [(Var 14 x)
                                            (Var 14 y)]
                                            0
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 14 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            minus_real:
                                (Function
                                    (SymbolTable
                                        11
                                        {
                                            result:
                                                (Variable
                                                    11
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    11
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    11
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    minus_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 11 x)
                                    (Var 11 y)]
                                    [(Assignment
                                        (Var 11 result)
                                        (RealBinOp
                                            (Var 11 x)
                                            Sub
                                            (Var 11 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 11 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            one_real:
                                (Function
                                    (SymbolTable
                                        16
                                        {
                                            result:
                                                (Variable
                                                    16
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    one_real
                                    (FunctionType
                                        []
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 16 result)
                                        (RealConstant
                                            1.000000
                                            (Real 4)
                                        )
                                        ()
                                    )]
                                    (Var 16 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            slash_real:
                                (Function
                                    (SymbolTable
                                        12
                                        {
                                            result:
                                                (Variable
                                                    12
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    12
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    12
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    slash_real
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 12 x)
                                    (Var 12 y)]
                                    [(Assignment
                                        (Var 12 result)
                                        (RealBinOp
                                            (Var 12 x)
                                            Div
                                            (Var 12 y)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 12 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                ),
                            zero_real:
                                (Function
                                    (SymbolTable
                                        15
                                        {
                                            result:
                                                (Variable
                                                    15
                                                    result
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    zero_real
                                    (FunctionType
                                        []
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 15 result)
                                        (RealConstant
                                            0.000000
                                            (Real 4)
                                        )
                                        ()
                                    )]
                                    (Var 15 result)
                                    Private
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    math_real_m
                    []
                    .false.
                    .false.
                ),
            template_triple:
                (Program
                    (SymbolTable
                        34
                        {
                            add_integer:
                                (ExternalSymbol
                                    34
                                    add_integer
                                    2 add_integer
                                    math_integer_m
                                    []
                                    add_integer
                                    Public
                                ),
                            add_real:
                                (ExternalSymbol
                                    34
                                    add_real
                                    9 add_real
                                    math_real_m
                                    []
                                    add_real
                                    Public
                                ),
                            magma_r:
                                (ExternalSymbol
                                    34
                                    magma_r
                                    17 magma_r
                                    triple_m
                                    []
                                    magma_r
                                    Public
                                ),
                            max_integer:
                                (ExternalSymbol
                                    34
                                    max_integer
                                    2 max_integer
                                    math_integer_m
                                    []
                                    max_integer
                                    Public
                                ),
                            max_real:
                                (ExternalSymbol
                                    34
                                    max_real
                                    9 max_real
                                    math_real_m
                                    []
                                    max_real
                                    Public
                                ),
                            min_integer:
                                (ExternalSymbol
                                    34
                                    min_integer
                                    2 min_integer
                                    math_integer_m
                                    []
                                    min_integer
                                    Public
                                ),
                            min_real:
                                (ExternalSymbol
                                    34
                                    min_real
                                    9 min_real
                                    math_real_m
                                    []
                                    min_real
                                    Public
                                ),
                            minus_integer:
                                (ExternalSymbol
                                    34
                                    minus_integer
                                    2 minus_integer
                                    math_integer_m
                                    []
                                    minus_integer
                                    Public
                                ),
                            minus_real:
                                (ExternalSymbol
                                    34
                                    minus_real
                                    9 minus_real
                                    math_real_m
                                    []
                                    minus_real
                                    Public
                                ),
                            one_integer:
                                (ExternalSymbol
                                    34
                                    one_integer
                                    2 one_integer
                                    math_integer_m
                                    []
                                    one_integer
                                    Public
                                ),
                            one_real:
                                (ExternalSymbol
                                    34
                                    one_real
                                    9 one_real
                                    math_real_m
                                    []
                                    one_real
                                    Public
                                ),
                            slash_real:
                                (ExternalSymbol
                                    34
                                    slash_real
                                    9 slash_real
                                    math_real_m
                                    []
                                    slash_real
                                    Public
                                ),
                            test_add_triples:
                                (ExternalSymbol
                                    34
                                    test_add_triples
                                    24 test_add_triples
                                    use_triple_m
                                    []
                                    test_add_triples
                                    Public
                                ),
                            test_max_triples:
                                (ExternalSymbol
                                    34
                                    test_max_triples
                                    24 test_max_triples
                                    use_triple_m
                                    []
                                    test_max_triples
                                    Public
                                ),
                            test_minus_triples:
                                (ExternalSymbol
                                    34
                                    test_minus_triples
                                    24 test_minus_triples
                                    use_triple_m
                                    []
                                    test_minus_triples
                                    Public
                                ),
                            triple_tmpl:
                                (ExternalSymbol
                                    34
                                    triple_tmpl
                                    17 triple_tmpl
                                    triple_m
                                    []
                                    triple_tmpl
                                    Public
                                ),
                            zero_integer:
                                (ExternalSymbol
                                    34
                                    zero_integer
                                    2 zero_integer
                                    math_integer_m
                                    []
                                    zero_integer
                                    Public
                                ),
                            zero_real:
                                (ExternalSymbol
                                    34
                                    zero_real
                                    9 zero_real
                                    math_real_m
                                    []
                                    zero_real
                                    Public
                                )
                        })
                    template_triple
                    [use_triple_m]
                    [(SubroutineCall
                        34 test_add_triples
                        ()
                        []
                        ()
                    )
                    (SubroutineCall
                        34 test_minus_triples
                        ()
                        []
                        ()
                    )
                    (SubroutineCall
                        34 test_max_triples
                        ()
                        []
                        ()
                    )]
                ),
            triple_m:
                (Module
                    (SymbolTable
                        17
                        {
                            magma_r:
                                (Requirement
                                    (SymbolTable
                                        18
                                        {
                                            plus_t:
                                                (Function
                                                    (SymbolTable
                                                        19
                                                        {
                                                            l:
                                                                (Variable
                                                                    19
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    19
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            total:
                                                                (Variable
                                                                    19
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    plus_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 19 l)
                                                    (Var 19 r)]
                                                    []
                                                    (Var 19 total)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    18
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    magma_r
                                    [t
                                    plus_t]
                                    []
                                ),
                            triple_tmpl:
                                (Template
                                    (SymbolTable
                                        20
                                        {
                                            plus_t:
                                                (Function
                                                    (SymbolTable
                                                        21
                                                        {
                                                            l:
                                                                (Variable
                                                                    21
                                                                    l
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            r:
                                                                (Variable
                                                                    21
                                                                    r
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            total:
                                                                (Variable
                                                                    21
                                                                    total
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    plus_t
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )
                                                        (TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .true.
                                                    )
                                                    []
                                                    [(Var 21 l)
                                                    (Var 21 r)]
                                                    []
                                                    (Var 21 total)
                                                    Private
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            t:
                                                (Variable
                                                    20
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            triple_l:
                                                (Function
                                                    (SymbolTable
                                                        22
                                                        {
                                                            result:
                                                                (Variable
                                                                    22
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    22
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_l
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [plus_t]
                                                    [(Var 22 t)]
                                                    [(Assignment
                                                        (Var 22 result)
                                                        (FunctionCall
                                                            20 plus_t
                                                            ()
                                                            [((FunctionCall
                                                                20 plus_t
                                                                ()
                                                                [((Var 22 t))
                                                                ((Var 22 t))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 22 t))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 22 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            triple_r:
                                                (Function
                                                    (SymbolTable
                                                        23
                                                        {
                                                            result:
                                                                (Variable
                                                                    23
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    23
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (TypeParameter
                                                                        t
                                                                    )
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_r
                                                    (FunctionType
                                                        [(TypeParameter
                                                            t
                                                        )]
                                                        (TypeParameter
                                                            t
                                                        )
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    [plus_t]
                                                    [(Var 23 t)]
                                                    [(Assignment
                                                        (Var 23 result)
                                                        (FunctionCall
                                                            20 plus_t
                                                            ()
                                                            [((Var 23 t))
                                                            ((FunctionCall
                                                                20 plus_t
                                                                ()
                                                                [((Var 23 t))
                                                                ((Var 23 t))]
                                                                (TypeParameter
                                                                    t
                                                                )
                                                                ()
                                                                ()
                                                            ))]
                                                            (TypeParameter
                                                                t
                                                            )
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 23 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                )
                                        })
                                    triple_tmpl
                                    [t
                                    plus_t]
                                    [(Require
                                        magma_r
                                        [t
                                        plus_t]
                                    )]
                                )
                        })
                    triple_m
                    [triple_m]
                    .false.
                    .false.
                ),
            use_triple_m:
                (Module
                    (SymbolTable
                        24
                        {
                            add_integer:
                                (ExternalSymbol
                                    24
                                    add_integer
                                    2 add_integer
                                    math_integer_m
                                    []
                                    add_integer
                                    Public
                                ),
                            add_real:
                                (ExternalSymbol
                                    24
                                    add_real
                                    9 add_real
                                    math_real_m
                                    []
                                    add_real
                                    Public
                                ),
                            magma_r:
                                (ExternalSymbol
                                    24
                                    magma_r
                                    17 magma_r
                                    triple_m
                                    []
                                    magma_r
                                    Public
                                ),
                            max_integer:
                                (ExternalSymbol
                                    24
                                    max_integer
                                    2 max_integer
                                    math_integer_m
                                    []
                                    max_integer
                                    Public
                                ),
                            max_real:
                                (ExternalSymbol
                                    24
                                    max_real
                                    9 max_real
                                    math_real_m
                                    []
                                    max_real
                                    Public
                                ),
                            min_integer:
                                (ExternalSymbol
                                    24
                                    min_integer
                                    2 min_integer
                                    math_integer_m
                                    []
                                    min_integer
                                    Public
                                ),
                            min_real:
                                (ExternalSymbol
                                    24
                                    min_real
                                    9 min_real
                                    math_real_m
                                    []
                                    min_real
                                    Public
                                ),
                            minus_integer:
                                (ExternalSymbol
                                    24
                                    minus_integer
                                    2 minus_integer
                                    math_integer_m
                                    []
                                    minus_integer
                                    Public
                                ),
                            minus_real:
                                (ExternalSymbol
                                    24
                                    minus_real
                                    9 minus_real
                                    math_real_m
                                    []
                                    minus_real
                                    Public
                                ),
                            one_integer:
                                (ExternalSymbol
                                    24
                                    one_integer
                                    2 one_integer
                                    math_integer_m
                                    []
                                    one_integer
                                    Public
                                ),
                            one_real:
                                (ExternalSymbol
                                    24
                                    one_real
                                    9 one_real
                                    math_real_m
                                    []
                                    one_real
                                    Public
                                ),
                            slash_real:
                                (ExternalSymbol
                                    24
                                    slash_real
                                    9 slash_real
                                    math_real_m
                                    []
                                    slash_real
                                    Public
                                ),
                            test_add_triples:
                                (Function
                                    (SymbolTable
                                        25
                                        {
                                            tal:
                                                (Variable
                                                    25
                                                    tal
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            tar:
                                                (Variable
                                                    25
                                                    tar
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            triple_add_l:
                                                (Function
                                                    (SymbolTable
                                                        26
                                                        {
                                                            result:
                                                                (Variable
                                                                    26
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    26
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_add_l
                                                    (FunctionType
                                                        [(Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 26 t)]
                                                    [(Assignment
                                                        (Var 26 result)
                                                        (FunctionCall
                                                            24 add_integer
                                                            ()
                                                            [((FunctionCall
                                                                24 add_integer
                                                                ()
                                                                [((Var 26 t))
                                                                ((Var 26 t))]
                                                                (Integer 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 26 t))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 26 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            triple_add_r:
                                                (Function
                                                    (SymbolTable
                                                        27
                                                        {
                                                            result:
                                                                (Variable
                                                                    27
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    27
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Integer 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_add_r
                                                    (FunctionType
                                                        [(Integer 4)]
                                                        (Integer 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 27 t)]
                                                    [(Assignment
                                                        (Var 27 result)
                                                        (FunctionCall
                                                            24 add_integer
                                                            ()
                                                            [((Var 27 t))
                                                            ((FunctionCall
                                                                24 add_integer
                                                                ()
                                                                [((Var 27 t))
                                                                ((Var 27 t))]
                                                                (Integer 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Integer 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 27 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                )
                                        })
                                    test_add_triples
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 25 tal)
                                        (FunctionCall
                                            25 triple_add_l
                                            ()
                                            [((IntegerConstant 7 (Integer 4) Decimal))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 25 tar)
                                        (FunctionCall
                                            25 triple_add_r
                                            ()
                                            [((IntegerConstant 7 (Integer 4) Decimal))]
                                            (Integer 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "tal = "
                                                (String 1 6 () PointerString)
                                            )
                                            (Var 25 tal)
                                            (StringConstant
                                                " tar = "
                                                (String 1 7 () PointerString)
                                            )
                                            (Var 25 tar)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            test_max_triples:
                                (Function
                                    (SymbolTable
                                        31
                                        {
                                            tmaxl:
                                                (Variable
                                                    31
                                                    tmaxl
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            tmaxr:
                                                (Variable
                                                    31
                                                    tmaxr
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            triple_max_l:
                                                (Function
                                                    (SymbolTable
                                                        32
                                                        {
                                                            result:
                                                                (Variable
                                                                    32
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    32
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_max_l
                                                    (FunctionType
                                                        [(Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 32 t)]
                                                    [(Assignment
                                                        (Var 32 result)
                                                        (FunctionCall
                                                            24 max_real
                                                            ()
                                                            [((FunctionCall
                                                                24 max_real
                                                                ()
                                                                [((Var 32 t))
                                                                ((Var 32 t))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 32 t))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 32 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            triple_max_r:
                                                (Function
                                                    (SymbolTable
                                                        33
                                                        {
                                                            result:
                                                                (Variable
                                                                    33
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    33
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_max_r
                                                    (FunctionType
                                                        [(Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 33 t)]
                                                    [(Assignment
                                                        (Var 33 result)
                                                        (FunctionCall
                                                            24 max_real
                                                            ()
                                                            [((Var 33 t))
                                                            ((FunctionCall
                                                                24 max_real
                                                                ()
                                                                [((Var 33 t))
                                                                ((Var 33 t))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 33 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                )
                                        })
                                    test_max_triples
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 31 tmaxl)
                                        (FunctionCall
                                            31 triple_max_l
                                            ()
                                            [((RealConstant
                                                7.000000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 31 tmaxr)
                                        (FunctionCall
                                            31 triple_max_r
                                            ()
                                            [((RealConstant
                                                7.000000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "tmaxl ="
                                                (String 1 7 () PointerString)
                                            )
                                            (Var 31 tmaxl)
                                            (StringConstant
                                                " tmaxr ="
                                                (String 1 8 () PointerString)
                                            )
                                            (Var 31 tmaxr)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            test_minus_triples:
                                (Function
                                    (SymbolTable
                                        28
                                        {
                                            tml:
                                                (Variable
                                                    28
                                                    tml
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            tmr:
                                                (Variable
                                                    28
                                                    tmr
                                                    []
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            triple_minus_l:
                                                (Function
                                                    (SymbolTable
                                                        29
                                                        {
                                                            result:
                                                                (Variable
                                                                    29
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    29
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_minus_l
                                                    (FunctionType
                                                        [(Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 29 t)]
                                                    [(Assignment
                                                        (Var 29 result)
                                                        (FunctionCall
                                                            24 minus_real
                                                            ()
                                                            [((FunctionCall
                                                                24 minus_real
                                                                ()
                                                                [((Var 29 t))
                                                                ((Var 29 t))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))
                                                            ((Var 29 t))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 29 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            triple_minus_r:
                                                (Function
                                                    (SymbolTable
                                                        30
                                                        {
                                                            result:
                                                                (Variable
                                                                    30
                                                                    result
                                                                    []
                                                                    ReturnVar
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            t:
                                                                (Variable
                                                                    30
                                                                    t
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Private
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    triple_minus_r
                                                    (FunctionType
                                                        [(Real 4)]
                                                        (Real 4)
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .true.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 30 t)]
                                                    [(Assignment
                                                        (Var 30 result)
                                                        (FunctionCall
                                                            24 minus_real
                                                            ()
                                                            [((Var 30 t))
                                                            ((FunctionCall
                                                                24 minus_real
                                                                ()
                                                                [((Var 30 t))
                                                                ((Var 30 t))]
                                                                (Real 4)
                                                                ()
                                                                ()
                                                            ))]
                                                            (Real 4)
                                                            ()
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    (Var 30 result)
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                )
                                        })
                                    test_minus_triples
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    [(Assignment
                                        (Var 28 tml)
                                        (FunctionCall
                                            28 triple_minus_l
                                            ()
                                            [((RealConstant
                                                7.000000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Assignment
                                        (Var 28 tmr)
                                        (FunctionCall
                                            28 triple_minus_r
                                            ()
                                            [((RealConstant
                                                7.000000
                                                (Real 4)
                                            ))]
                                            (Real 4)
                                            ()
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(StringConstant
                                                "tml = "
                                                (String 1 6 () PointerString)
                                            )
                                            (Var 28 tml)
                                            (StringConstant
                                                " tmr = "
                                                (String 1 7 () PointerString)
                                            )
                                            (Var 28 tmr)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            triple_tmpl:
                                (ExternalSymbol
                                    24
                                    triple_tmpl
                                    17 triple_tmpl
                                    triple_m
                                    []
                                    triple_tmpl
                                    Public
                                ),
                            zero_integer:
                                (ExternalSymbol
                                    24
                                    zero_integer
                                    2 zero_integer
                                    math_integer_m
                                    []
                                    zero_integer
                                    Public
                                ),
                            zero_real:
                                (ExternalSymbol
                                    24
                                    zero_real
                                    9 zero_real
                                    math_real_m
                                    []
                                    zero_real
                                    Public
                                )
                        })
                    use_triple_m
                    [math_integer_m
                    math_real_m
                    triple_m
                    use_triple_m]
                    .false.
                    .false.
                )
        })
    []
)
