Dumping a namespace in a header file should be avoided since it can cause random name and type clashing in unexpected ways.