/gccxml_builtins.h/1.3/Wed Oct 31 15:08:59 2007//TITK-3-16
D/bits////
