modify *arith* *assert* *except*