/1.cc/1.8/Wed Aug 17 05:22:13 2005//
/named_equivalence.cc/1.3/Wed Aug 17 05:22:13 2005//
D
