/stdarg.h/1.1/Wed Jul  4 15:21:19 2001//
/stdbool.h/1.1/Tue Jan  1 09:32:27 2002//
/varargs.h/1.1/Wed Jul  4 15:21:19 2001//
D/machine////
