>>681
do {} while (!D) は，ループの事後条件として，Dが条件として成立することを保証している。
(until D として欲しかったが）

for (a;b;c) {} while (D) じゃ，ループの事後条件として何が成立してるのかわからないので
こんなコードは却下だな