Title: Just Enough Debugging