This line can never be reached, because of while(true) before!