If anything defines min or max, it's a bug, and we should fix it.  (If there is some header that defines min or max, we should work around the issue at the point where we include the header, not here.)