/gccxml_builtins.h/1.2/Wed Oct 31 15:09:03 2007//TITK-3-16
D
