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