/is_polymorphic.cc/1.1/Thu Mar  3 13:52:20 2005//
/typedefs.cc/1.1/Thu Mar  3 13:52:20 2005//
D
