int count;
		[size_is(count)] ShareInfo502 *array;
	} ShareInfoCtr502;

	typedef [switch_type(int)] union {
		[case(0)] ShareInfo0 *info0;
		[case(1)] ShareInfo1 *info1;
		[case(502)] ShareInfo502 *info1;
	} ShareInfo;

	typedef [switch_type(int)] union {
		[case(0)] ShareInfoCtr0 *info0;
		[case(1)] ShareInfoCtr1 *info1;
		[case(502)] ShareInfoCtr502 *info1;
	} ShareCtr;

	[op(0x0f)]

		int count;
		[size_is(count)] ShareInfo502 *array;
	} ShareInfoCtr502;

	typedef [switch_type(int)] union {
		[case(0)] ShareInfo0 *info0;
		[case(1)] ShareInfo1 *info1;
		[case(502)] ShareInfo502 *info1;
	} ShareInfo;

	typedef [switch_type(int)] union {
		[case(0)] ShareInfoCtr0 *info0;
		[case(1)] ShareInfoCtr1 *info1;
		[case(502)] ShareInfoCtr502 *info1;
	} ShareCtr;

	[op(0x0f)]

        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);

        // Verify the encode operations
        verify(mockNdrBuffer).align(4);

            }
        }
    }

    /**
     * Container for ShareInfo502 structures.
     */
    public static class ShareInfoCtr502 extends NdrObject {

        /**
         * Default constructor for ShareInfoCtr502.
         */
        public ShareInfoCtr502() {
        }

        /**
         * The number of shares in the array.
         */
        /**

            }
        }
    }

    /**
     * Container for ShareInfo502 structures.
     */
    public static class ShareInfoCtr502 extends NdrObject {

        /**
         * Default constructor for ShareInfoCtr502.
         */
        public ShareInfoCtr502() {
        }

        /**
         * The number of shares in the array.
         */
        /**