because overflow matters... arbitrary integer arithmetic operations
possible KO