Um, sounds like the most appropriate response would be a low-performance C compiler&#x2F;interpreter that enforces crashes on all run-time undefined behaviors, and refuses to compile for any compile-time checkable ones.