/is_pointer.cc/1.1/Sun Dec 12 14:31:11 2004//Tgcc-4_0-branch
/typedefs.cc/1.1/Sun Dec 12 14:31:11 2004//Tgcc-4_0-branch
D
