DictionaryRedefinition.ice:11: redefinition of dictionary `foo' as dictionary