Eiffel 65 Wiki/Namespaces