I think we're talking past each other. I'm responding to the comment about the heuristic where for the most part trap (somewhere) means UB. Maybe it's UB only

I think we're talking past each other. I'm responding to the comment about the heuristic where for the most part trap (somewhere) means UB. Maybe it's UB only because implementation-specified is too onerous and it didn't seem to be worth defining a bounded "unpredictable result" behavior.