(TranslationUnit
    (SymbolTable
        1
        {
            string_54:
                (Program
                    (SymbolTable
                        5
                        {
                            char:
                                (Variable
                                    5
                                    char
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (String 1 (IntegerConstant 10 (Integer 4) Decimal) ExpressionLength DescriptorString)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            double:
                                (ExternalSymbol
                                    5
                                    double
                                    2 double
                                    string_54_mod
                                    []
                                    double
                                    Public
                                ),
                            double_:
                                (ExternalSymbol
                                    5
                                    double_
                                    2 double_
                                    string_54_mod
                                    []
                                    double_
                                    Public
                                ),
                            foo_sub:
                                (ExternalSymbol
                                    5
                                    foo_sub
                                    2 foo_sub
                                    string_54_mod
                                    []
                                    foo_sub
                                    Public
                                ),
                            x:
                                (Variable
                                    5
                                    x
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                )
                        })
                    string_54
                    [string_54_mod]
                    [(Assignment
                        (Var 5 x)
                        (IntegerConstant 10 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (SubroutineCall
                        5 foo_sub
                        ()
                        [((Var 5 x))
                        ((Var 5 char))]
                        ()
                        .false.
                    )]
                ),
            string_54_mod:
                (Module
                    (SymbolTable
                        2
                        {
                            double:
                                (GenericProcedure
                                    2
                                    double
                                    [2 double_]
                                    Public
                                ),
                            double_:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            ret:
                                                (Variable
                                                    3
                                                    ret
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    3
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    double_
                                    (FunctionType
                                        [(Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 x)]
                                    [(Assignment
                                        (Var 3 ret)
                                        (IntegerBinOp
                                            (Var 3 x)
                                            Mul
                                            (IntegerConstant 2 (Integer 4) Decimal)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )]
                                    (Var 3 ret)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                ),
                            foo_sub:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            char:
                                                (Variable
                                                    4
                                                    char
                                                    [double_
                                                    x]
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (String 1 (FunctionCall
                                                        2 double_
                                                        2 double
                                                        [((Var 4 x))]
                                                        (Integer 4)
                                                        ()
                                                        ()
                                                    ) ExpressionLength DescriptorString)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            x:
                                                (Variable
                                                    4
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    foo_sub
                                    (FunctionType
                                        [(Integer 4)
                                        (String 1 (FunctionCall
                                            2 double_
                                            2 double
                                            [((FunctionParam
                                                0
                                                (Integer 4)
                                                ()
                                            ))]
                                            (Integer 4)
                                            ()
                                            ()
                                        ) ExpressionLength DescriptorString)]
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [double_]
                                    [(Var 4 x)
                                    (Var 4 char)]
                                    []
                                    ()
                                    Public
                                    .true.
                                    .true.
                                    ()
                                )
                        })
                    string_54_mod
                    ()
                    []
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
