/1.cc/1.7/Tue Aug 23 13:33:57 2005//
/named_equivalence.cc/1.3/Tue Aug 23 13:33:57 2005//
D
