domainInfo.name.length = 10;
        domainInfo.name.maximum_length = 20;
        domainInfo.name.buffer = new short[10];
        domainInfo.sid = mock(rpc.sid_t.class);

        // The index property is already set in setUp()

        domainInfo.encode(mockNdrBuffer);

        verify(mockNdrBuffer).align(4);