On Wed, Dec 06, 2000 at 12:30:26AM +0000, Joern Rennecke wrote: > Since there are alerady a number of ports with a STORE_FLAG_VALUE other > than 1, I suppose that is considered to work, and the documentation > should be changed? Yes. r~