シェルスクリプト do.sh を実行すると、次の５つを使ったプログラムを
順番にコンパイルして動作させます。
  1. assert()
  2. assertionFailure()
  3. precondition()
  4. preconditionFailure()
  5. fatalError()

コンパイルオプションで

  -Onone
  -O
  -Ounchecked

のそれぞれを指定した場合について実行を行います。
つまり、15通りの実行を順番に行なうことになります。
なお、preconditionFailure() と fatalError() は呼び出すと制御が
戻らない属性を持つ（Neverを返す）関数なので、コンパイル時に警告が
表示されます。

シェルスクリプトは

$ sh do.sh

または

$ ./do.sh

で動作します。
実行結果を本文の Table12-1 と比較してみて下さい。
