RE: question about storage32.c code and while loop