The Asterix Project/Namespaces