[duaneb]

That formal standard also leaves huge swathes of code undefined. Not exactly what you want for "safety critical areas".