/1.cc/1.7/Wed Aug 17 05:22:21 2005//
/named_equivalence.cc/1.3/Wed Aug 17 05:22:21 2005//
D
