/binders.cc/1.2/Wed Mar 16 11:24:14 2005//
/comparisons.cc/1.1/Fri Jul  2 20:44:06 2004//
D
