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