Tue, 07 Aug 2012 17:04:06 +0200 optimize compare routine default tip
arnold [Tue, 07 Aug 2012 17:04:06 +0200] rev 1
optimize compare routine
(0) tip