/smc_fuzz/