/config-public-compiler.h/1.2/Sun Nov  7 21:04:23 2004//
/config-internal-compiler.h/1.2/Mon Nov  8 07:48:36 2004//
D
