/empty.cc/1.1/Fri Oct 22 05:32:15 2004//Tgcc-4_0-branch
/max_size.cc/1.1/Fri Oct 22 05:32:15 2004//Tgcc-4_0-branch
/size.cc/1.1/Fri Oct 22 05:32:15 2004//Tgcc-4_0-branch
D
