#include "types.h"
#include "stat.h"
#include "user.h"
int
main(int argc, char *argv[]) {
int x1 = getreadcount();
int rc = fork();
int total = 0;
int i;
for (i = 0; i < 100000; i++) {
char buf[100];
(void) read(4, buf, 1);
}
if (rc > 0) {
(void) wait();
int x2 = getreadcount();
total += (x2 - x1);
printf(1, "XV6_TEST_OUTPUT %d\n", total);
}
exit();
}