Perhaps we should even leave C as a language for system code.  (System code has to be correct and secure first.  Optimization for speed comes second, and is only needed for a few small, very hot code paths.)