assumed_free 3146 user/usertests.c int assumed_free = 600; assumed_free 3149 user/usertests.c for (int i = 0; i < assumed_free; i++) {