while3
while concise version