ESP32 Embedded Rust at the HAL: Timer Ultrasonic Distance Measurement