/is_pointer.cc/1.1/Sun Dec 12 14:31:11 2004//
/typedefs.cc/1.1/Sun Dec 12 14:31:11 2004//
D
