That would be an interesting exercises.  Of course, the whole thing is only interesting if it comes with a proof of justification.  Otherwise it&#x27;s too easy for real world C programs: they are all undefined.