> Maybe WARN_ONCE so it's easier to emit the format too.Good idea. And, if it's not too much trouble, a comment explainingwhy it's deliberately omitted so the issue doesn't arise again.