Symbol: smc_t