&gt; That would be a new language<p>I don&#x27;t see why it wouldn&#x27;t be a valid implementation of C by simply defining things that C doesn&#x27;t fully define.<p>There&#x27;s nothing about the definition of &quot;undefined behaviour&quot; that <i>prevents</i> you from defining it in your implementation.