(TranslationUnit
    (SymbolTable
        1
        {
            functions_04:
                (Program
                    (SymbolTable
                        4
                        {
                            int:
                                (Variable
                                    4
                                    int
                                    []
                                    Local
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Save
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            to_negative:
                                (ExternalSymbol
                                    4
                                    to_negative
                                    2 to_negative
                                    stdlib_int
                                    []
                                    to_negative
                                    Public
                                ),
                            to_negative@to_negative~genericprocedure:
                                (ExternalSymbol
                                    4
                                    to_negative@to_negative~genericprocedure
                                    2 to_negative~genericprocedure
                                    stdlib_int
                                    []
                                    to_negative~genericprocedure
                                    Private
                                ),
                            to_negative~genericprocedure:
                                (ExternalSymbol
                                    4
                                    to_negative~genericprocedure
                                    2 to_negative~genericprocedure
                                    stdlib_int
                                    []
                                    to_negative~genericprocedure
                                    Public
                                )
                        })
                    functions_04
                    [stdlib_int]
                    [(If
                        ()
                        (IntegerCompare
                            (FunctionCall
                                4 to_negative@to_negative~genericprocedure
                                4 to_negative
                                [((Var 4 int))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerUnaryMinus
                                (IntegerConstant 4 (Integer 4) Decimal)
                                (Integer 4)
                                (IntegerConstant -4 (Integer 4) Decimal)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 4 int)
                        (IntegerUnaryMinus
                            (IntegerConstant 4 (Integer 4) Decimal)
                            (Integer 4)
                            (IntegerConstant -4 (Integer 4) Decimal)
                        )
                        ()
                        .false.
                        .false.
                    )
                    (If
                        ()
                        (IntegerCompare
                            (FunctionCall
                                4 to_negative@to_negative~genericprocedure
                                4 to_negative
                                [((Var 4 int))]
                                (Integer 4)
                                ()
                                ()
                            )
                            NotEq
                            (IntegerUnaryMinus
                                (IntegerConstant 4 (Integer 4) Decimal)
                                (Integer 4)
                                (IntegerConstant -4 (Integer 4) Decimal)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                ),
            stdlib_int:
                (Module
                    (SymbolTable
                        2
                        {
                            to_negative:
                                (GenericProcedure
                                    2
                                    to_negative
                                    [2 to_negative~genericprocedure]
                                    Public
                                ),
                            to_negative~genericprocedure:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            int:
                                                (Variable
                                                    3
                                                    int
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                ),
                                            neg_int:
                                                (Variable
                                                    3
                                                    neg_int
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                )
                                        })
                                    to_negative~genericprocedure
                                    (FunctionType
                                        [(Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 int)]
                                    [(If
                                        ()
                                        (IntegerCompare
                                            (Var 3 int)
                                            GtE
                                            (IntegerConstant 0 (Integer 4) Decimal)
                                            (Logical 4)
                                            ()
                                        )
                                        [(Assignment
                                            (Var 3 neg_int)
                                            (IntegerUnaryMinus
                                                (Var 3 int)
                                                (Integer 4)
                                                ()
                                            )
                                            ()
                                            .false.
                                            .false.
                                        )]
                                        [(Assignment
                                            (Var 3 neg_int)
                                            (Var 3 int)
                                            ()
                                            .false.
                                            .false.
                                        )]
                                    )]
                                    (Var 3 neg_int)
                                    Public
                                    .true.
                                    .true.
                                    ()
                                )
                        })
                    stdlib_int
                    ()
                    []
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
