(TranslationUnit
    (SymbolTable
        1
        {
            intrinsics_13:
                (Program
                    (SymbolTable
                        2
                        {
                            p:
                                (Variable
                                    2
                                    p
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Integer 4)
                                        (IntegerConstant 5 (Integer 4) Decimal)
                                        (Integer 4)
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p1:
                                (Variable
                                    2
                                    p1
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Integer 4)
                                        (IntegerConstant 5 (Integer 4) Decimal)
                                        (Integer 4)
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p2:
                                (Variable
                                    2
                                    p2
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Integer 8)
                                        (IntegerConstant 5 (Integer 8) Decimal)
                                        (Integer 4)
                                        (IntegerConstant 8 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 8 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p3:
                                (Variable
                                    2
                                    p3
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Real 8)
                                        (RealConstant
                                            0.000000
                                            (Real 8)
                                        )
                                        (Integer 4)
                                        (IntegerConstant 8 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 8 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p4:
                                (Variable
                                    2
                                    p4
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Real 4)
                                        (RealConstant
                                            0.000000
                                            (Real 4)
                                        )
                                        (Integer 4)
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p5:
                                (Variable
                                    2
                                    p5
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Real 4)
                                        (RealConstant
                                            5.000000
                                            (Real 4)
                                        )
                                        (Integer 4)
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p6:
                                (Variable
                                    2
                                    p6
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Real 8)
                                        (RealConstant
                                            5.000000
                                            (Real 8)
                                        )
                                        (Integer 4)
                                        (IntegerConstant 8 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 8 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p7:
                                (Variable
                                    2
                                    p7
                                    []
                                    Local
                                    (TypeInquiry
                                        Kind
                                        (Logical 4)
                                        (LogicalConstant
                                            .true.
                                            (Logical 4)
                                        )
                                        (Integer 4)
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                    )
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    Parameter
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                )
                        })
                    intrinsics_13
                    []
                    [(If
                        ()
                        (LogicalBinOp
                            (LogicalBinOp
                                (IntegerCompare
                                    (Var 2 p)
                                    NotEq
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                And
                                (IntegerCompare
                                    (Var 2 p1)
                                    NotEq
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            And
                            (IntegerCompare
                                (Var 2 p2)
                                NotEq
                                (IntegerConstant 8 (Integer 4) Decimal)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            (Logical 4)
                            (LogicalConstant
                                .false.
                                (Logical 4)
                            )
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (LogicalBinOp
                            (LogicalBinOp
                                (IntegerCompare
                                    (Var 2 p3)
                                    NotEq
                                    (IntegerConstant 8 (Integer 4) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                And
                                (IntegerCompare
                                    (Var 2 p4)
                                    NotEq
                                    (IntegerConstant 4 (Integer 4) Decimal)
                                    (Logical 4)
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                )
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            And
                            (IntegerCompare
                                (Var 2 p5)
                                NotEq
                                (IntegerConstant 4 (Integer 4) Decimal)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            (Logical 4)
                            (LogicalConstant
                                .false.
                                (Logical 4)
                            )
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (LogicalBinOp
                            (IntegerCompare
                                (Var 2 p6)
                                NotEq
                                (IntegerConstant 8 (Integer 4) Decimal)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            And
                            (IntegerCompare
                                (Var 2 p7)
                                NotEq
                                (IntegerConstant 4 (Integer 4) Decimal)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                            )
                            (Logical 4)
                            (LogicalConstant
                                .false.
                                (Logical 4)
                            )
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
