preconditionFailureはコンパイラで無視されるとそこから先の動きが保証されない