OR1K/Namespaces