D/binders////
/comparisons.cc/1.2/Tue Aug 23 13:33:19 2005//
