sprintf(buffer,"C compiler : %CCVERSION%\n");
output_string(buffer);
sprintf(buffer,"libc : %LIBCVERSION%\n");