has_dsm_bitset
return (has_dsm_bitset(get_supported_functions(sc, dsm_index)));
return (has_dsm_bitset(*supported_functions));
MPASS(has_dsm_bitset(supported_functions));