sz0              3170 user/usertests.c   uint64 sz0 = (uint64)sbrk(0);
sz0              3178 user/usertests.c   sbrk(-((uint64)sbrk(0) - sz0));