belong in the public header file. They are not in our name space so we
should not set them globally.