Check ADD overflow
Check underflow
Junk