/* Set up the backchannels between each pair of device. 
Each pair of devices will get a unique channel  */
static void setup_backchannels(void)
/* Set up the backchannels between each pair of device. 
Each pair of devices will get a unique channel  */
static void setup_backchannels(void)
{
	__ASSERT_NO_MSG(dev_cnt > 0 && dev_cnt < ARRAY_SIZE(backchannel_nums));
	const uint self = bsim_args_get_global_device_nbr();
	uint device_numbers[dev_cnt];
	uint *channels;
	for (int32_t i = 0; i < dev_cnt; i++) {
		if (i != self) {
			backchannel_nums[chan_cnt] = get_chan_num((uint16_t)i);
			device_numbers[chan_cnt++] = i;
		}
	}
	channels = bs_open_back_channel(self, device_numbers, backchannel_nums, chan_cnt);
	__ASSERT_NO_MSG(channels != NULL);
}