I've seen so many software bugs in my career where when you traced execution, you'd find the code crashing in a block with the comment //this can never happen