ai                 37 user/usertests.c   for(int ai = 0; ai < 2; ai++){
ai                 38 user/usertests.c     uint64 addr = addrs[ai];
ai                 81 user/usertests.c   for(int ai = 0; ai < 2; ai++){
ai                 82 user/usertests.c     uint64 addr = addrs[ai];
ai                122 user/usertests.c   for(int ai = 0; ai < 2; ai++){
ai                123 user/usertests.c     uint64 addr = addrs[ai];