SRI YICES/Namespaces