/is_empty.cc/1.1/Fri Jan 28 17:20:43 2005//Tgcc-4_0-branch
/typedefs.cc/1.1/Fri Jan 28 17:20:43 2005//Tgcc-4_0-branch
D
