/is_base_of.cc/1.1/Sat Mar  5 00:22:48 2005//
/typedefs.cc/1.1/Sat Mar  5 00:22:48 2005//
D
