(while 0 do 2; "while")