-static int total_written = 0;
-static int total_read = 0;
-
-extern int verbose;
-
-int write_total(void)
-{
- return total_written;
-}
-
-int read_total(void)
-{
- return total_read;
-}
-
-void write_int(int f,int x)
-{
- char b[4];
- SIVAL(b,0,x);
- if (write(f,b,4) != 4) {
- fprintf(stderr,"write_int failed : %s\n",strerror(errno));
- exit(1);
- }
- total_written += 4;
-}
-
-void write_buf(int f,char *buf,int len)
-{
- if (write(f,buf,len) != len) {
- fprintf(stderr,"write_buf failed : %s\n",strerror(errno));
- exit(1);
- }
- total_written += len;
-}
-
-static int num_waiting(int fd)