while (events_is_busy(&example_event)) { /* Wait for channel */ };
(events_is_busy(&example_event)) {
};
tc_start_counter(&tc_instance);