sz0              3119 user/usertests.c   uint64 sz0 = (uint64)sbrk(0);
sz0              3127 user/usertests.c   sbrk(-((uint64)sbrk(0) - sz0));