/fstream/1.1/Fri Nov  2 17:15:50 2007//TITK-3-16
/gccxml_builtins.h/1.2/Wed Oct 31 15:08:58 2007//TITK-3-16
/sstream/1.1/Fri Nov  2 15:57:10 2007//TITK-3-16
D/bits////
