while !(...);