/smc_fuzz/include/