assert

assert e1; e2

e1がtrueの場合e2を評価する。e1がFalseの場合abortする。