David,

Below is my feedback to the editors note's.

    Arturo

---

Section 19.8

    EDITOR’S NOTE: I made several minor editorial changes in the following paragraphs, which are indicated

by strike-through text with the replacement text immediately following the strike-through text.

    All the editor's changes are OK.

Section 12.16

    EDITOR’S NOTE: Having the production name "randsequence" be the same as the keyword randsequence

is confusing. Should the production name be "randsequence_statement", similar to "randcase_statement"?

    I agree with the editor.

    The BNF production name be changed to randsequence_statement

    This change affects sections A.6.4 and A.6.12, and the BNF syntax boxes 8-1 (in section 8.2) and

12-12 (in section 12.16).

Section 12.16.4

    EDITOR’S NOTE: What is the correct cross reference for above?

    The correct cross reference is to section 12.16.6 (Aborting productions — break and return).