Code generation for underflow check. Issue #42.