- * FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
- * OVERFLOWSETSFLAG -- sets the flag if the operation overflows
- * FLAGIFFOVERFLOW -- flag is set iff the operation overflows
- * IGNORE -- doesn't constrain output if the result cannot be represented
- * WRAPAROUND -- wraps around like stand integer arithmetic
- * NOOVERFLOW -- client has ensured that overflow is impossible
+ * SATC_FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
+ * SATC_OVERFLOWSETSFLAG -- sets the flag if the operation overflows
+ * SATC_FLAGIFFOVERFLOW -- flag is set iff the operation overflows
+ * SATC_IGNORE -- doesn't constrain output if the result cannot be represented
+ * SATC_WRAPAROUND -- wraps around like stand integer arithmetic
+ * SATC_NOOVERFLOW -- client has ensured that overflow is impossible