If there is a condition with the comment "should never happen" it is a good
place for a BUG() if it is ever reached.