Updating: adding an example handling arith overflow.