trying https://static.crates.io/crates/defmt-macros/1.2.0/download
  % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
                                 Dload  Upload  Total   Spent   Left   Speed

  0      0   0      0   0      0      0      0                              0
100  28589 100  28589   0      0 880.2k      0                              0
100  28589 100  28589   0      0 879.1k      0                              0
100  28589 100  28589   0      0 878.4k      0                              0