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