興味深いポストを見た。曰く：
単体テストでテストできる対象は「評価できる値」で「比較できるもの」となるため、 while そのものをテストすることは難しい。（単体テストが `Assert.Equals` 的な（結果の）値の比較をするツールだという前提で）
while 文の while は、単体で値を持つものではないからである。
ただ While 関数を実装することで間接的に確かめることはできそう。ざっくりとこんな感じ：
While(b, S): void { while
結論：仕様 3.0 ではループ途中の中断は禁止されている。
つまりループ途中の break や throw によるループ脱出は不可。
#pragma omp parallel forfor (int i = 0; i < 1000000; ++i) { // no break nor throw (except catch it in this scope).}
ループ本体で条件を都度確認して早期脱出する同僚コードを見て、それってダメだったよね？ と朧げにあった記憶を再
定義プログラムがどのように終了したかを示すコード。
C プログラムの main 関数が return で戻す整数値。
main の戻り型は int のため「符号つき」におもえるけれど、 POSIX で定められている有効な値の範囲は 0 から 255 までの整数（符号なし）。
値の使いかたには「これ！」という決定的な文書は存在しない？（ご存じのかた、いらっしゃったら教えてください）
意味プログラム終了コード：0, 1, 2
Stack overflow の「Are the
