the while control structure