/comparisons.cc/1.1/Fri Jul  2 20:44:06 2004//
D/binders////
