/is_function.cc/1.3/Wed Feb 23 17:23:44 2005//
/typedefs.cc/1.1/Thu Dec 16 11:35:56 2004//
D
