Case: reducing program bugs