StructRedefinition.ice:14: redefinition of struct `Struct1' as struct