(TranslationUnit
    (SymbolTable
        1
        {
            floor_01:
                (Program
                    (SymbolTable
                        2
                        {
                            x1:
                                (Variable
                                    2
                                    x1
                                    []
                                    Local
                                    (RealConstant
                                        3.300000
                                        (Real 4)
                                    )
                                    (RealConstant
                                        3.300000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            x2:
                                (Variable
                                    2
                                    x2
                                    []
                                    Local
                                    (RealConstant
                                        3.500000
                                        (Real 4)
                                    )
                                    (RealConstant
                                        3.500000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            x3:
                                (Variable
                                    2
                                    x3
                                    []
                                    Local
                                    (RealConstant
                                        3.700000
                                        (Real 4)
                                    )
                                    (RealConstant
                                        3.700000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            y1:
                                (Variable
                                    2
                                    y1
                                    []
                                    Local
                                    (RealUnaryMinus
                                        (RealConstant
                                            3.300000
                                            (Real 4)
                                        )
                                        (Real 4)
                                        (RealConstant
                                            -3.300000
                                            (Real 4)
                                        )
                                    )
                                    (RealConstant
                                        -3.300000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            y2:
                                (Variable
                                    2
                                    y2
                                    []
                                    Local
                                    (RealUnaryMinus
                                        (RealConstant
                                            3.500000
                                            (Real 4)
                                        )
                                        (Real 4)
                                        (RealConstant
                                            -3.500000
                                            (Real 4)
                                        )
                                    )
                                    (RealConstant
                                        -3.500000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            y3:
                                (Variable
                                    2
                                    y3
                                    []
                                    Local
                                    (RealUnaryMinus
                                        (RealConstant
                                            3.700000
                                            (Real 4)
                                        )
                                        (Real 4)
                                        (RealConstant
                                            -3.700000
                                            (Real 4)
                                        )
                                    )
                                    (RealConstant
                                        -3.700000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                )
                        })
                    floor_01
                    []
                    [(If
                        ()
                        (LogicalBinOp
                            (LogicalBinOp
                                (IntegerCompare
                                    (IntrinsicElementalFunction
                                        Floor
                                        [(Var 2 x1)]
                                        0
                                        (Integer 8)
                                        (IntegerConstant 3 (Integer 8) Decimal)
                                    )
                                    NotEq
                                    (IntegerConstant 3 (Integer 8) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                Or
                                (IntegerCompare
                                    (IntrinsicElementalFunction
                                        Floor
                                        [(Var 2 x2)]
                                        0
                                        (Integer 4)
                                        (IntegerConstant 3 (Integer 4) Decimal)
                                    )
                                    NotEq
                                    (IntegerConstant 3 (Integer 4) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            Or
                            (IntegerCompare
                                (IntrinsicElementalFunction
                                    Floor
                                    [(Var 2 x3)]
                                    0
                                    (Integer 4)
                                    (IntegerConstant 3 (Integer 4) Decimal)
                                )
                                NotEq
                                (IntegerConstant 3 (Integer 4) Decimal)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            (Logical 4)
                            (LogicalConstant
                                .false.
                                (Logical 4)
                            )
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (LogicalBinOp
                            (LogicalBinOp
                                (IntegerCompare
                                    (IntrinsicElementalFunction
                                        Floor
                                        [(Var 2 y1)]
                                        0
                                        (Integer 4)
                                        (IntegerConstant -4 (Integer 4) Decimal)
                                    )
                                    NotEq
                                    (IntegerUnaryMinus
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                        (Integer 4)
                                        (IntegerConstant -4 (Integer 4) Decimal)
                                    )
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                Or
                                (IntegerCompare
                                    (IntrinsicElementalFunction
                                        Floor
                                        [(Var 2 y2)]
                                        0
                                        (Integer 4)
                                        (IntegerConstant -4 (Integer 4) Decimal)
                                    )
                                    NotEq
                                    (IntegerUnaryMinus
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                        (Integer 4)
                                        (IntegerConstant -4 (Integer 4) Decimal)
                                    )
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            Or
                            (IntegerCompare
                                (IntrinsicElementalFunction
                                    Floor
                                    [(Var 2 y3)]
                                    0
                                    (Integer 8)
                                    (IntegerConstant -4 (Integer 8) Decimal)
                                )
                                NotEq
                                (Cast
                                    (IntegerUnaryMinus
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                        (Integer 4)
                                        (IntegerConstant -4 (Integer 4) Decimal)
                                    )
                                    IntegerToInteger
                                    (Integer 8)
                                    (IntegerConstant -4 (Integer 8) Decimal)
                                    ()
                                )
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            (Logical 4)
                            (LogicalConstant
                                .false.
                                (Logical 4)
                            )
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntrinsicElementalFunction
                                Floor
                                [(Var 2 x1)]
                                0
                                (Integer 4)
                                (IntegerConstant 3 (Integer 4) Decimal)
                            )
                            (IntrinsicElementalFunction
                                Floor
                                [(Var 2 x2)]
                                0
                                (Integer 4)
                                (IntegerConstant 3 (Integer 4) Decimal)
                            )
                            (IntrinsicElementalFunction
                                Floor
                                [(Var 2 x3)]
                                0
                                (Integer 4)
                                (IntegerConstant 3 (Integer 4) Decimal)
                            )]
                            FormatFortran
                            (Allocatable
                                (String 1 () DeferredLength DescriptorString)
                            )
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(IntrinsicElementalFunction
                                Floor
                                [(Var 2 y1)]
                                0
                                (Integer 4)
                                (IntegerConstant -4 (Integer 4) Decimal)
                            )
                            (IntrinsicElementalFunction
                                Floor
                                [(Var 2 y2)]
                                0
                                (Integer 4)
                                (IntegerConstant -4 (Integer 4) Decimal)
                            )
                            (IntrinsicElementalFunction
                                Floor
                                [(Var 2 y3)]
                                0
                                (Integer 4)
                                (IntegerConstant -4 (Integer 4) Decimal)
                            )]
                            FormatFortran
                            (Allocatable
                                (String 1 () DeferredLength DescriptorString)
                            )
                            ()
                        )
                    )]
                )
        })
    []
)
