#include <stdio.h>

/*
 * This file declares things that should be declared in a number
 * of system files.  :-(
 */

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