prog: op_exception