A bit about traits in embedded Rust