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