public void response_D1AsD1(D1 d1)
{
AllTests.test(d1 != null);
AllTests.test(d1.ice_id().Equals("::Test::D1"));
AllTests.test(d1.sb.Equals("D1.sb"));
AllTests.test(d1.pb != null);
AllTests.test(d1.pb != d1);
B b2 = d1.pb;
AllTests.test(b2 != null);
AllTests.test(b2.ice_id().Equals("::Test::B"));
AllTests.test(b2.sb.Equals("D2.sb"));
AllTests.test(b2.pb == d1);
callback.called();
}
