/is_volatile.cc/1.3/Sat Dec 11 21:46:27 2004//
/typedefs.cc/1.1/Tue Dec  7 16:40:46 2004//
D
