> Looks good, except that it checks NARROWED, which depends on the
 > position of point-min whereas point-min should have no effect on the
 > behavior at `end'.  I.e. it should just check ZV == Z.

I'm afraid there was a double misunderstanding.  Isn't what we really
want check "end == Z"?