failed           2211 user/usertests.c   int failed;
failed           2213 user/usertests.c   failed = 0;
failed           2232 user/usertests.c         failed = 1;
failed           2235 user/usertests.c   if (!failed) {