sz0              3459 user/usertests.c   uint64 sz0 = (uint64)sbrk(0);
sz0              3467 user/usertests.c   sbrk(-((uint64)sbrk(0) - sz0));