Symbol: do_set_channel