Index: translator/ResolvExpr/Resolver.cc
===================================================================
--- translator/ResolvExpr/Resolver.cc	(revision 6c3744ea42a3b5b7c0caad3216f7a909daf8e9ed)
+++ translator/ResolvExpr/Resolver.cc	(revision 26a07a225bf00a2b82a72b9675c55a8d255daa71)
@@ -257,9 +257,37 @@
 	    std::list<Declaration *>::iterator iter1( baseStruct->get_members().begin() );
 	    std::list<Initializer *>::iterator iter2( listInit->begin_initializers() );
-	    for ( ; iter1 != baseStruct->get_members().end() && iter2 != listInit->end_initializers() ; ++iter1, ++iter2 ) {
-		DeclarationWithType *dt = dynamic_cast<DeclarationWithType *>( *iter1 );
-		initContext = dt->get_type();
-		(*iter2)->accept( *this );
-	    }
+	    for ( ; iter1 != baseStruct->get_members().end() && iter2 != listInit->end_initializers(); ++iter2 ) {
+		if ( (*iter2)->get_designators().empty() ) {
+		    DeclarationWithType *dt = dynamic_cast<DeclarationWithType *>( *iter1 );
+		    initContext = dt->get_type();
+		    (*iter2)->accept( *this );
+		    ++iter1;
+		} else {
+		    StructDecl *st = baseStruct;
+		    iter1 = st->get_members().begin();
+		    std::list<Expression *>::iterator iter3( (*iter2)->get_designators().begin() );
+		    for ( ; iter3 != (*iter2)->get_designators().end(); ++iter3 ) {
+			NameExpr *key = dynamic_cast<NameExpr *>( *iter3 );
+			assert( key );
+			for ( ; iter1 != st->get_members().end(); ++iter1 ) {
+			    if ( key->get_name() == (*iter1)->get_name() ) {
+				(*iter1)->print( cout );
+				cout << key->get_name() << endl;
+				ObjectDecl *fred = dynamic_cast<ObjectDecl *>( *iter1 );
+				assert( fred );
+				StructInstType *mary = dynamic_cast<StructInstType*>( fred->get_type() );
+				assert( mary );
+				st = mary->get_baseStruct();
+				iter1 = st->get_members().begin();
+				break;
+			    } // if
+			}  // for
+		    } // for
+		    ObjectDecl *fred = dynamic_cast<ObjectDecl *>( *iter1 );
+		    assert( fred );
+		    initContext = fred->get_type();
+		    (*listInit->begin_initializers())->accept( *this );
+		} // if
+	    } // for
 	} else if ( UnionInstType *st = dynamic_cast<UnionInstType*>(initContext) ) {
 	    DeclarationWithType *dt = dynamic_cast<DeclarationWithType *>( *st->get_baseUnion()->get_members().begin() );
