Oh-- also, a module declaration in the primary module interface unit
behaves as described, and does not override or otherwise affect the
namespaces in the module interface partitions.