verify(mockNdrBuffer).enc_ndr_referent(ctr1.array, 1);
        verify(mockDeferredBuffer).enc_ndr_long(2);
        verify(mockDeferredBuffer).advance(24); // 12 * 2
    }

    @Test
    void testShareInfoCtr502EncodeWithEmptyArray() throws NdrException {
        srvsvc.ShareInfoCtr502 ctr502 = new srvsvc.ShareInfoCtr502();
        ctr502.count = 0;
        ctr502.array = null;

        ctr502.encode(mockNdrBuffer);