/gccxml_builtins.h/1.2/Mon Dec 15 18:45:56 2008//TITK-3-12
D
