I've used it only a few times, but it was really handy then. The only
problem is that I always forget whether a 'break' inside the for loop
executes the else or not (it doesn't).
-- Jack Jansen | If I can't dance I don't want to be part of Jack.Jansen@cwi.nl | your revolution -- Emma Goldman uunet!cwi.nl!jack G=Jack;S=Jansen;O=cwi;PRMD=surf;ADMD=400net;C=nl