/is_function.cc/1.2/Fri Jan 28 13:29:40 2005//
/typedefs.cc/1.1/Thu Dec 16 11:35:56 2004//
D
