Symbol: test_tc_opts_demixed_target