empty program: 5.1K
tasks_basic: 8.9K
event: 18K
heap: 18K
message: 17K
resource: 18K
semaphore: 8.9K
blink: 14K
gpio-interrupts: 9.1K

full context switch: 174
load pendsv: 20
switch from pendsv: 23
load context: 20
save context: 23