Walter Bright: > I'd also prefer to get rid of /+ +/ comments, I thought they'd > be more useful than they are. I prefer to get rid of /* */ instead :-) Because /++/ can do things /**/ can't. Bye, bearophile