So does Pascal and its descendent Oberon, including FPGAs.
https://www.mikroe.com/mikropascal/
http://www.astrobe.com/default.htm
Natively compiled to machine code, safe, without any help of C.