/gccxml_builtins.h/1.3/Fri Jun 19 18:55:49 2009//TITK-3-16
D
