can not occur, there is no way out from that while loop