Efficient, deferred formatting for logging on embedded systems - knurling-rs/defmt