If you don't think it's an important distinction then your real beef is that the developer can choose to panic in certain scenarios, which of course is silly wh

If you don't think it's an important distinction then your real beef is that the developer can choose to panic in certain scenarios, which of course is silly when put in context.