int printf (const char *string, ...) { va_list ap; int r; #ifdef __OPTIMIZE__ if (inside_main) abort(); #endif va_start (ap, string); r = vprintf (string, ap); va_end (ap); return r; }