プログラム中に、「ここでは必ずこうなっていなければいけない」というassertion（表明）を書いておくことで、バグを減らす。 Cには assert() マクロがあり、引数にかかれた条件が偽の場合 abort される。assertion はプログラムロジック上ありえない状態を…