target      package               code rodata data  bss
hifive1b    examples/echo         4533    323    0 2268
microbit    examples/serial       3002    382    8 2264
wioterminal examples/pininterrupt 8331   1717  148 7496
