Rust your ARM microcontroller
I had no idea Rust MCU support has come so far, the generated code is indeed very lean. This is fantastic! 
God I'd love to use this, but ESP8266/ESP32 is where its at right now (at least for me).