print_x86_featureset
print_x86_featureset(new_x86_featureset);
print_x86_featureset(x86_featureset);
extern void print_x86_featureset(void *featureset);