> In case anyone's curious, the official answer is that:
> 
> 1.  argv is modifiable.
> 2.  The contents of the strings in argv are modifiable.
> 3.  The pointers in argv are *not* modifiable.

Presumably point 3 applies only to the pointers that argv originally
pointed to, not necessarily to wherever it may point at any given
moment?

Why is argv not typed as "char * const *", incidentally?

					der Mouse

			       mouse@rodents.montreal.qc.ca
		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B