buffer.encode(dst, 0);

                // Verify SMBUtil.writeInt2 was called for referral level (with long parameter)
                mockedSMBUtil.verify(() -> SMBUtil.writeInt2(eq((long) maxReferralLevel), any(byte[].class), eq(0)));
                // Verify SMBUtil.writeInt2 was called for null terminator
                mockedSMBUtil.verify(() -> SMBUtil.writeInt2(eq(0L), any(byte[].class), anyInt()));
            }

        // Verify that the super constructor was called with the correct arguments
        // Note: Mockito cannot directly verify super constructor calls.
        // We assume if the object is created, the super constructor was called.
        // We can verify the state of the object after construction.

        // Verify ptype and flags are set correctly

     * This prevents accidental modification of these critical constants.
     */
    @Test
    void testConstantValues() {
        // Verify the PAC version
        assertEquals(0, PacConstants.PAC_VERSION, "PAC_VERSION should be 0");

        // Verify PAC buffer types
        assertEquals(1, PacConstants.LOGON_INFO, "LOGON_INFO should be 1");

    @Test
    @DisplayName("Test constructor initialization")
    void testConstructor() {
        // Verify command and subcommand are set correctly
        assertEquals(SmbComTransaction.SMB_COM_TRANSACTION, transaction.getCommand());
        assertEquals(SmbComTransaction.TRANS2_FIND_FIRST2, transaction.getSubCommand());

        // Verify maxDataCount and maxParameterCount are initialized
        assertTrue(transaction.maxDataCount > 0);

        ndrLong.decode(mockNdrBuffer);

        // Verify that dec_ndr_long was called exactly once
        verify(mockNdrBuffer, times(1)).dec_ndr_long();
        // Verify that the value field was updated correctly
        assertEquals(decodedValue, ndrLong.value, "Decode should correctly assign the value returned by dec_ndr_long.");
        // Verify that no other interactions occurred with the mock buffer

        assertEquals(12345L, size);

        // Verify precise interactions
        verify(mockEntry, times(1)).getName();
        verify(mockEntry, times(2)).getType();
        verify(mockEntry, times(1)).getAttributes();
        verify(mockEntry, times(1)).createTime();
        verify(mockEntry, times(1)).lastModified();
        verify(mockEntry, times(1)).lastAccess();
        verify(mockEntry, times(1)).length();

            // Verify source offset
            assertEquals(sourceOffset, SMBUtil.readInt8(buffer, startIndex));

            // Verify target offset
            assertEquals(targetOffset, SMBUtil.readInt8(buffer, startIndex + 8));

            // Verify length
            assertEquals(length, SMBUtil.readInt4(buffer, startIndex + 16));

            // Verify reserved bytes are zeros

            // Execute apply goal
            int result = applyGoal.execute(context);

            // Verify success
            assertEquals(0, result, "Apply should succeed");

            // Verify POM was upgraded
            String upgradedPom = Files.readString(pomFile);
            assertTrue(
                    upgradedPom.contains("http://maven.apache.org/POM/4.1.0"),

        assertEquals(3, entries.length);

        // Verify disk share
        assertEquals("DiskShare", entries[0].getName());
        assertEquals(8, entries[0].getType()); // TYPE_SHARE

        // Verify printer share
        assertEquals("PrinterShare", entries[1].getName());
        assertEquals(32, entries[1].getType()); // TYPE_PRINTER (0x20)

        // Verify named pipe

                        .thenReturn(UpgradeResult.empty());

                checkGoal.execute(context);

                // Verify that the Check-specific header is logged
                verify(context.logger).info("Maven Upgrade Tool - Check");
            } finally {
                // Clean up - delete all files in the directory first
                try {