target      package               code rodata data  bss
hifive1b    examples/echo         4405    323    0 2268
microbit    examples/serial       2922    382    8 2264
wioterminal examples/pininterrupt 8251   1717  148 7496
