if (mask & mtp_property_noreturn) fprintf(F, "noreturn_function, ");
if (mask & mtp_property_nothrow) fprintf(F, "nothrow_function, ");
if (mask & mtp_property_naked) fprintf(F, "naked_function, ");
if (mask & mtp_property_noreturn) fprintf(F, "noreturn_function, ");
if (mask & mtp_property_nothrow) fprintf(F, "nothrow_function, ");
if (mask & mtp_property_naked) fprintf(F, "naked_function, ");