(TranslationUnit
    (SymbolTable
        1
        {
            callback_02:
                (Module
                    (SymbolTable
                        2
                        {
                            cb:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            a:
                                                (Variable
                                                    3
                                                    a
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            b:
                                                (Variable
                                                    3
                                                    b
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        4
                                                        {
                                                            res:
                                                                (Variable
                                                                    4
                                                                    res
                                                                    []
                                                                    Unspecified
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    4
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        ()
                                                        Source
                                                        Interface
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 4 x)
                                                    (Var 4 res)]
                                                    []
                                                    ()
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            res:
                                                (Variable
                                                    3
                                                    res
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    cb
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)
                                        (Real 4)
                                        (FunctionType
                                            [(Real 4)
                                            (Real 4)]
                                            ()
                                            Source
                                            Interface
                                            ()
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            .false.
                                            []
                                            .false.
                                        )]
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 res)
                                    (Var 3 a)
                                    (Var 3 b)
                                    (Var 3 f)]
                                    [(SubroutineCall
                                        3 f
                                        ()
                                        [((Var 3 a))
                                        ((Var 3 res))]
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(Var 3 res)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )
                                    (SubroutineCall
                                        3 f
                                        ()
                                        [((Var 3 b))
                                        ((Var 3 res))]
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(Var 3 res)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )
                                    (Assignment
                                        (Var 3 res)
                                        (RealBinOp
                                            (RealBinOp
                                                (Var 3 b)
                                                Sub
                                                (Var 3 a)
                                                (Real 4)
                                                ()
                                            )
                                            Mul
                                            (Var 3 res)
                                            (Real 4)
                                            ()
                                        )
                                        ()
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(Var 3 res)]
                                            FormatFortran
                                            (String -1 0 () PointerString)
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            foo:
                                (Function
                                    (SymbolTable
                                        5
                                        {
                                            c:
                                                (Variable
                                                    5
                                                    c
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            d:
                                                (Variable
                                                    5
                                                    d
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            f:
                                                (Function
                                                    (SymbolTable
                                                        6
                                                        {
                                                            res:
                                                                (Variable
                                                                    6
                                                                    res
                                                                    []
                                                                    Unspecified
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                ),
                                                            x:
                                                                (Variable
                                                                    6
                                                                    x
                                                                    []
                                                                    In
                                                                    ()
                                                                    ()
                                                                    Default
                                                                    (Real 4)
                                                                    ()
                                                                    Source
                                                                    Public
                                                                    Required
                                                                    .false.
                                                                    .false.
                                                                )
                                                        })
                                                    f
                                                    (FunctionType
                                                        [(Real 4)
                                                        (Real 4)]
                                                        ()
                                                        Source
                                                        Implementation
                                                        ()
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        .false.
                                                        []
                                                        .false.
                                                    )
                                                    []
                                                    [(Var 6 x)
                                                    (Var 6 res)]
                                                    [(Assignment
                                                        (Var 6 res)
                                                        (RealBinOp
                                                            (Cast
                                                                (IntegerConstant 2 (Integer 4) Decimal)
                                                                IntegerToReal
                                                                (Real 4)
                                                                (RealConstant
                                                                    2.000000
                                                                    (Real 4)
                                                                )
                                                            )
                                                            Mul
                                                            (Var 6 x)
                                                            (Real 4)
                                                            ()
                                                        )
                                                        ()
                                                    )]
                                                    ()
                                                    Public
                                                    .false.
                                                    .false.
                                                    ()
                                                ),
                                            foo:
                                                (Variable
                                                    5
                                                    foo
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            res:
                                                (Variable
                                                    5
                                                    res
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    foo
                                    (FunctionType
                                        [(Real 4)
                                        (Real 4)
                                        (Real 4)]
                                        (Real 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [cb]
                                    [(Var 5 c)
                                    (Var 5 d)
                                    (Var 5 res)]
                                    [(SubroutineCall
                                        2 cb
                                        ()
                                        [((Var 5 res))
                                        ((Var 5 c))
                                        ((Var 5 d))
                                        ((Var 5 f))]
                                        ()
                                    )
                                    (Assignment
                                        (Var 5 foo)
                                        (Var 5 res)
                                        ()
                                    )]
                                    (Var 5 foo)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    callback_02
                    []
                    .false.
                    .false.
                ),
            main:
                (Program
                    (SymbolTable
                        7
                        {
                            cb:
                                (ExternalSymbol
                                    7
                                    cb
                                    2 cb
                                    callback_02
                                    []
                                    cb
                                    Public
                                ),
                            foo:
                                (ExternalSymbol
                                    7
                                    foo
                                    2 foo
                                    callback_02
                                    []
                                    foo
                                    Public
                                ),
                            res:
                                (Variable
                                    7
                                    res
                                    []
                                    Local
                                    (Cast
                                        (IntegerConstant 0 (Integer 4) Decimal)
                                        IntegerToReal
                                        (Real 4)
                                        (RealConstant
                                            0.000000
                                            (Real 4)
                                        )
                                    )
                                    (RealConstant
                                        0.000000
                                        (Real 4)
                                    )
                                    Save
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    main
                    [callback_02]
                    [(Assignment
                        (Var 7 res)
                        (FunctionCall
                            7 foo
                            ()
                            [((RealConstant
                                1.500000
                                (Real 4)
                            ))
                            ((RealConstant
                                2.000000
                                (Real 4)
                            ))
                            ((Var 7 res))]
                            (Real 4)
                            ()
                            ()
                        )
                        ()
                    )]
                )
        })
    []
)
