(TranslationUnit
    (SymbolTable
        1
        {
            idd_frm:
                (Function
                    (SymbolTable
                        2
                        {
                            lw:
                                (Variable
                                    2
                                    lw
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            m:
                                (Variable
                                    2
                                    m
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            n:
                                (Variable
                                    2
                                    n
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            prinf:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            prinf_arg_0:
                                                (Variable
                                                    3
                                                    prinf_arg_0
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (String 1 6 () PointerString)
                                                    ()
                                                    BindC
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            prinf_arg_1:
                                                (Variable
                                                    3
                                                    prinf_arg_1
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    BindC
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            prinf_arg_2:
                                                (Variable
                                                    3
                                                    prinf_arg_2
                                                    []
                                                    Unspecified
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    BindC
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    prinf
                                    (FunctionType
                                        [(String 1 6 () PointerString)
                                        (Integer 4)
                                        (Integer 4)]
                                        ()
                                        BindC
                                        Interface
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 prinf_arg_0)
                                    (Var 3 prinf_arg_1)
                                    (Var 3 prinf_arg_2)]
                                    []
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            w:
                                (Variable
                                    2
                                    w
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            x:
                                (Variable
                                    2
                                    x
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            y:
                                (Variable
                                    2
                                    y
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    idd_frm
                    (FunctionType
                        [(Integer 4)
                        (Integer 4)
                        (Integer 4)
                        (Integer 4)
                        (Integer 4)]
                        ()
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 2 m)
                    (Var 2 n)
                    (Var 2 w)
                    (Var 2 x)
                    (Var 2 y)]
                    [(SubroutineCall
                        2 prinf
                        ()
                        [((StringConstant
                            "lw = *"
                            (String 1 6 () PointerString)
                        ))
                        ((Var 2 lw))
                        ((IntegerConstant 1 (Integer 4) Decimal))]
                        ()
                    )
                    (SubroutineCall
                        2 prinf
                        ()
                        [((StringConstant
                            "16m+70 = *"
                            (String 1 10 () PointerString)
                        ))
                        ((IntegerBinOp
                            (IntegerBinOp
                                (IntegerConstant 16 (Integer 4) Decimal)
                                Mul
                                (Var 2 m)
                                (Integer 4)
                                ()
                            )
                            Add
                            (IntegerConstant 70 (Integer 4) Decimal)
                            (Integer 4)
                            ()
                        ))
                        ((IntegerConstant 1 (Integer 4) Decimal))]
                        ()
                    )
                    (Return)]
                    ()
                    Public
                    .false.
                    .false.
                    ()
                )
        })
    []
)
