STM32F4 with Embedded Rust at the HAL