Some experiments with Rust and STM32