/*
 * This file declares things that should be declared in a number
 * of system files but aren't.  :-(
 *
 * It is only included to make gcc -Wall as quiet as possible.
 */

#include <stdio.h>

extern void  puts(char *);	              /* returns char *? */
extern int   fprintf(FILE *, char *, ...);
extern int   printf(char *, ...);
extern void  _flsbuf();
extern int   _filbuf();
extern void  fflush(FILE *);	              /* returns int? */
extern char *sprintf(char *, char *, ...);    /* returns char *? */
extern void  bcopy(char *, char *, int);
extern void  exit(int);
extern void  srandom(int);
extern long  random(void);
extern int   getpid(void);
extern char  *malloc();
extern void  usleep();
