Symbol: is_switch_decoder