I&#x27;d argue that it can&#x27;t be done right for non trivial programs without enormous effort. Even software written by expert C programmers with years and years of experience contains bugs that are caused by C&#x27;s unsafe features.