Debugging programs that use CMSIS-RTOS