Also, in the spec for 'gindex', I believe that this text:

  It is an error if the indices are not strictly increasing, or if
  any index exceeds the number of elements generated by value-gen.

should be changed to:

  It is an error if the indices are not strictly increasing, or if any
  index exceeds or equals the number of elements generated by value-gen.

In other words, each index should be in the range 0..N-1, where N is the
number of elements generated by VALUE-GEN.  Is that right?

     Thanks,
       Mark