void HTFWriter_put_character( HTStream *me, char c ) { if ( me->fp ) { _IO_putc( c, &me->fp ); } return; }
static void error(int status , int errnum , char const *message , ...) { va_list args ; char *tmp ; char *__cil_tmp6 ; char *__cil_tmp7 ; { #line 289 if (! interactive) { { #line 291 fflush(stdout); #line 292 fprintf((FILE */* __restrict */)stderr, (char const */* __restrict */)"%s: ", program_name); } } { #line 295 __builtin_va_start(args, message); #line 296 vfprintf((FILE */* __restrict */)stderr, (char const */* __restrict */)message, args); #line 297 __builtin_va_end(args); } #line 299 if (errnum) { { #line 300 tmp = strerror(errnum); #line 300 fprintf((FILE */* __restrict */)stderr, (char const */* __restrict */)": %s", tmp); } } { #line 301 _IO_putc('\n', stderr); #line 302 fflush(stderr); } #line 303 if (status) { { #line 304 exit(status); } } #line 305 return; } }
extern __inline __attribute__ ((__gnu_inline__)) int putchar (int __c) { return _IO_putc (__c, stdout); }
int putc(int ch, void *stream) { return _IO_putc(ch, stream); }