inOrder.verify(mockCtx).isPreferredMech(any());
            inOrder.verify(mockCtx).getFlags();
            inOrder.verify(mockCtx).getSupportedMechs();
            inOrder.verify(mockCtx).supportsIntegrity();
            inOrder.verify(mockCtx).calculateMIC(any(byte[].class));
            inOrder.verify(mockCtx).verifyMIC(any(byte[].class), any(byte[].class));
            inOrder.verify(mockCtx).isMICAvailable();

            byte[] result = hmac.engineDigest();

            assertArrayEquals(finalDigest, result);
            verify(mockMd5, times(1)).digest(); // First call for inner digest
            verify(mockMd5, times(2)).update(any(byte[].class)); // Once in constructor with ipad, once in engineDigest with opad
            verify(mockMd5, times(1)).digest(innerDigest); // Second call for final digest
        }
    }

    @Test

import static org.junit.jupiter.api.Assertions.assertNotNull;
import static org.junit.jupiter.api.Assertions.assertThrows;
import static org.mockito.Mockito.mock;
import static org.mockito.Mockito.times;
import static org.mockito.Mockito.verify;
import static org.mockito.Mockito.when;

import java.net.InetAddress;
import java.net.UnknownHostException;

import org.junit.jupiter.api.BeforeEach;
import org.junit.jupiter.api.Test;
import org.mockito.Mock;

            NdrShort ndrShort2 = new NdrShort(0);
            ndrShort2.decode(decodeBuffer);

            // Then: Values should match
            verify(encodeBuffer).enc_ndr_short(originalValue);
            verify(decodeBuffer).dec_ndr_short();
            assertEquals(ndrShort1.value, ndrShort2.value);
        }

        @Test

/** Unit test for {@link com.google.common.base.Verify}. */
@GwtCompatible
@NullUnmarked
public class VerifyTest extends TestCase {
  public void testVerify_simple_success() {
    verify(true);
  }

  public void testVerify_simple_failure() {
    assertThrows(VerifyException.class, () -> verify(false));
  }

  public void testVerify_simpleMessage_success() {
    verify(true, "message");
  }

        // Act
        aliasHandle.close();

        // Assert
        // Verify that sendrecv was called with MsrpcSamrCloseHandle
        verify(mockDcerpcHandle).sendrecv(any(MsrpcSamrCloseHandle.class));
        // Verify that close was called only once on the mockDcerpcHandle for MsrpcSamrCloseHandle
        verify(mockDcerpcHandle, times(1)).sendrecv(any(MsrpcSamrCloseHandle.class));
    }

    @Test

        // Then - verify all operations
        assertEquals(mid, messageBlock.getMid());
        assertEquals(command, messageBlock.getCommand());
        assertEquals(digest, messageBlock.getDigest());
        assertEquals(response, messageBlock.getResponse());

        // Reset and verify
        messageBlock.reset();
        verify(messageBlock).reset();
    }

    @Test

        String str = spy.toString();

        // Verify all methods were called except toString (Mockito limitation)
        verify(spy).getFileInformationLevel();
        verify(spy).size();
        verify(spy).encode(buffer, 0);
        verify(spy).decode(buffer, 0, 8);
        // Note: Cannot verify toString() with Mockito - it's a special method

        // Verify return values

        assertEquals(48, value.length);

        // Verify the size field (first 4 bytes)
        assertEquals(48, (value[0] & 0xFF) | ((value[1] & 0xFF) << 8) | ((value[2] & 0xFF) << 16) | ((value[3] & 0xFF) << 24));
        // Verify the zero field (next 4 bytes)
        assertEquals(0, (value[4] & 0xFF) | ((value[5] & 0xFF) << 8) | ((value[6] & 0xFF) << 16) | ((value[7] & 0xFF) << 24));

        // Verify customData part

        response.setUid(1000);
        verify(response).setUid(1000);

        doNothing().when(response).setExtendedSecurity(true);
        response.setExtendedSecurity(true);
        verify(response).setExtendedSecurity(true);

        doNothing().when(response).setSessionId(999L);
        response.setSessionId(999L);
        verify(response).setSessionId(999L);

        // Test reset method