In any case, send your feedback to the C standard committee. They can change the standard. It would not be a bad change to make.