Thoroughly clean code is more unlikely to contain errors and it is much easier to check, have an understanding of, and modify. Most of these factors lead to much less bugs and better trustworthiness. Green Hills optimizing compilers permit enforcement of clean coding conventions defined by market specifications such as https://kingswoodhomes.uk.com/news/blackburn-pupil-wins-competition-to-name-a-street-at-green-hills/