Symbol: smc_indicated_type