Tom Tromey Sat, 19 Aug 2006 11:54:06 -0700
Roman> Look out for a line with 'BUG' in the scanner Roman> output. Oh, duh, there it is. Sorry :(
Tom