/gccxml_builtins.h/1.4/Wed Oct 31 15:09:00 2007//TITK-3-12
D
