stm32f4disc-demo/src/lib.rs