K 10 svn:author V 3 bde K 8 svn:date V 27 2007-02-27T05:10:36.000000Z K 7 svn:log V 126 Fixed some style bugs (whitespace lossage for removal of __P(()), and lots of naming and typing errors involving `interval'). END