xst               802 user/usertests.c   int xst;
xst               818 user/usertests.c     wait(&xst);
xst               819 user/usertests.c     if (xst != -1) {
xst               831 user/usertests.c   int pid, xst;
xst               843 user/usertests.c   if (wait(&xst) != pid) {
xst               847 user/usertests.c   if (xst != 7) {
xst               848 user/usertests.c     printf("%s: child exited with status %d, expected 7\n", s, xst);