13.3.2 namespace.exec