## Instructions

There are 12 opcodes in checked_arithmetic group.

(sorted alphabetically)

- checkedsadd — perform checked addition of two bits values treating them as signed integers
- checkedsdecrement — perform checked decrementation of a bits value treating it as a signed integer
- checkedsdiv — perform checked division of two bits values treating them as signed integers
- checkedsincrement — perform checked incrementation of a bits value treating it as a signed integer
- checkedsmul — perform checked multiplication of two bits values treating them as signed integers
- checkedssub — perform checked subtraction of two bits values treating them as signed integers
- checkeduadd — perform checked addition of two bits values treating them as unsigned integers
- checkedudecrement — perform checked decrement of a bits value treating it as an unsigned integer
- checkedudiv — perform checked division of two bits values treating them as unsigned integers
- checkeduincrement — perform checked increment of a bits value treating it as an unsigned integer
- checkedumul — perform checked multiplication of two bits values treating them as unsigned integers
- checkedusub — perform checked subtraction of two bits values treating them as unsigned integers