/1.cc/1.8/Wed Aug 17 02:17:01 2005//
/named_equivalence.cc/1.3/Wed Aug 17 02:17:01 2005//
D
