target      package               code rodata data  bss
hifive1b    examples/echo         4526    346    0 2268
microbit    examples/serial       2993    391    8 2264
wioterminal examples/pininterrupt 8309   1739  148 7496
