(TranslationUnit
    (SymbolTable
        1
        {
            f:
                (Function
                    (SymbolTable
                        2
                        {
                            f1:
                                (Variable
                                    2
                                    f1
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    BindC
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    f
                    (FunctionType
                        []
                        ()
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    []
                    [(Assignment
                        (Var 2 f1)
                        (IntegerBinOp
                            (IntegerConstant 2 (Integer 4) Decimal)
                            Mul
                            (Var 1 x)
                            (Integer 4)
                            ()
                        )
                        ()
                    )
                    (Assignment
                        (Var 1 x)
                        (IntegerBinOp
                            (Var 1 x)
                            Add
                            (IntegerConstant 1 (Integer 4) Decimal)
                            (Integer 4)
                            ()
                        )
                        ()
                    )]
                    ()
                    Public
                    .false.
                    .false.
                    ()
                ),
            x:
                (Variable
                    1
                    x
                    []
                    Local
                    (IntegerConstant 6 (Integer 4) Decimal)
                    (IntegerConstant 6 (Integer 4) Decimal)
                    Save
                    (Integer 4)
                    ()
                    Source
                    Public
                    Required
                    .false.
                    .false.
                )
        })
    []
)
