va_end(arglist);
fprintf(stdout, "%s:%d:%d: warning: %s\n", current_filename, current_line, current_column, buf);
fflush(stdout);
va_end(arglist);
fprintf(stdout, "%s:%d:%d: warning: %s\n", current_filename, current_line, current_column, buf);
fflush(stdout);