-badflag -weak +unix-lib +char-index +relax-quals -pred-bool-int -pred-bool-ptr +ptr-negate -fixed-formal-array +match-any-integral +ignore-equals -name-checks