Is there a way to see what the actual size of the image written to an MCU flash is? I can see the output of `cargo size -q --release -- -A` is e.g. 

```
❯ cargo size -q --release -- -A
ethercrab-stm32-embassy  :
section               size        addr
.defmt                 135         0x0
.debug_abbrev          863         0x0
.debug_info          63672         0x0
.debug_aranges        5976         0x0
.debug_ranges        18216         0x0
.debug_str           68328         0x0
.comment               123         0x0
.ARM.attributes         50         0x0
.debug_frame         10800         0x0
.debug_line          77245         0x0
.vector_table          428   0x8000000
.text               111020   0x80001ac
.rodata               7836   0x801b360
.data                  112  0x20000000
.gnu.sgstubs             0   0x801d280
.bss                 51776  0x20000070
.uninit               1024  0x2000cab0
.defmt                   1         0x0
Total               417605
```

But surely not all of this is written out?