/1.cc/1.8/Tue Aug 23 13:33:54 2005//
/named_equivalence.cc/1.3/Tue Aug 23 13:33:54 2005//
D
