On Sun, Feb 18, 2007 at 07:35:40PM +0300, Valeriy E. Ushakov wrote: > This is wrong. EMPTY was defined correctly. If some of the uses were > incorrect, the uses should be fixed instead. Yes, I will back this out (and some more), and redo it differently. Martin