public void testIsWellFormed_4BytesSamples() {
    // Valid 4 byte.
    assertWellFormed(0xF0, 0xA4, 0xAD, 0xA2);
    // Bad trailing bytes
    assertNotWellFormed(0xF0, 0xA4, 0xAD, 0x7F);
    assertNotWellFormed(0xF0, 0xA4, 0xAD, 0xC0);
    // Special cases for byte2
    assertNotWellFormed(0xF0, 0x8F, 0xAD, 0xA2);
    assertNotWellFormed(0xF4, 0x90, 0xAD, 0xA2);
  }

  /** Tests some hard-coded test cases. */

        // When - encode little endian
        Encdec.enc_uint64le(value, buffer, 0);
        long decoded = Encdec.dec_uint64le(buffer, 0);

        // Then
        assertEquals(value, decoded);
        assertEquals(0xF0, buffer[0] & 0xFF);
        assertEquals(0xDE, buffer[1] & 0xFF);
        assertEquals(0xBC, buffer[2] & 0xFF);
        assertEquals(0x9A, buffer[3] & 0xFF);
    }

    @Test

// write out Xi RET gcm_ghash_p8_4x: LVSL (R8)(R0), T0 // 0x0001..0e0f MOVD $0x70, R8 LXVD2X (HTBL)(R9), VH2 MOVD $0x80, R9 VSPLTISB $8, T1 // 0x0808..0808 MOVD $0x90, R10 LXVD2X (HTBL)(R8), VH3L // load H^3 MOVD $0xa0, R8 LXVD2X (HTBL)(R9), VH3 MOVD $0xb0, R9 LXVD2X (HTBL)(R10), VH3H MOVD $0xc0, R10 LXVD2X (HTBL)(R8), VH4L // load H^4 MOVD $0x10, R8 LXVD2X (HTBL)(R9), VH4 MOVD $0x20, R9 LXVD2X (HTBL)(R10), VH4H MOVD $0x30, R10 VSLDOI $8, ZERO, T1, T2 // 0x0000..0808 VADDUBM T0, T2, HIPERM // 0x0001..1617...

    private Smb2LeaseKey testKey;
    private int testState;

    @BeforeEach
    void setUp() {
        byte[] keyBytes = new byte[] { 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F, 0x10 };
        testKey = new Smb2LeaseKey(keyBytes);
        testState = Smb2LeaseState.SMB2_LEASE_READ_WRITE;
        leaseContext = new LeaseV1CreateContextRequest(testKey, testState);
    }

    @Test

// write out Xi RET gcm_ghash_p8_4x: LVSL (R8)(R0), T0 // 0x0001..0e0f MOVD $0x70, R8 LXVD2X (HTBL)(R9), VH2 MOVD $0x80, R9 VSPLTISB $8, T1 // 0x0808..0808 MOVD $0x90, R10 LXVD2X (HTBL)(R8), VH3L // load H^3 MOVD $0xa0, R8 LXVD2X (HTBL)(R9), VH3 MOVD $0xb0, R9 LXVD2X (HTBL)(R10), VH3H MOVD $0xc0, R10 LXVD2X (HTBL)(R8), VH4L // load H^4 MOVD $0x10, R8 LXVD2X (HTBL)(R9), VH4 MOVD $0x20, R9 LXVD2X (HTBL)(R10), VH4H MOVD $0x30, R10 VSLDOI $8, ZERO, T1, T2 // 0x0000..0808 VADDUBM T0, T2, HIPERM // 0x0001..1617...

    }

    int writeWireFormat(final byte[] dst, final int dstIndex) {
        // write 0x20 in first byte
        dst[dstIndex] = 0x20;

        final byte tmp[] = Strings.getOEMBytes(this.name, this.config);
        int i;
        for (i = 0; i < tmp.length; i++) {
            dst[dstIndex + 2 * i + 1] = (byte) (((tmp[i] & 0xF0) >> 4) + 0x41);
            dst[dstIndex + 2 * i + 2] = (byte) ((tmp[i] & 0x0F) + 0x41);
        }

        // total=4, unused=1, used=2, string="AB"
        byte[] data = new byte[] { 0x04, 0x00, 0x00, 0x00, // total
                0x01, 0x00, 0x00, 0x00, // unused
                0x02, 0x00, 0x00, 0x00, // used
                0x00, 0x00, // unused char
                0x41, 0x00, // 'A'
                0x42, 0x00 // 'B'
        };
        PacDataInputStream pdis = createInputStream(data);

    int writeWireFormat(final byte[] dst, final int dstIndex) {
        // write 0x20 in first byte
        dst[dstIndex] = 0x20;

        // write name
        try {
            final byte tmp[] = name.getBytes(Name.OEM_ENCODING);
            int i;
            for (i = 0; i < tmp.length; i++) {
                dst[dstIndex + 2 * i + 1] = (byte) (((tmp[i] & 0xF0) >> 4) + 0x41);

        assertEquals((byte) 0x00, dst[8]);
        assertEquals((byte) 0x00, dst[9]);
        assertEquals((byte) 0x00, dst[10]);
        assertEquals((byte) 0x00, dst[11]);
    }

    @Test
    void testReadInt2() {
        byte[] src = new byte[] { (byte) 0x34, (byte) 0x12, // 0x1234
                (byte) 0xFF, (byte) 0xFF, // 0xFFFF
                (byte) 0x00, (byte) 0x00, // 0x0000

        // Put data at offset 0x20
        SMBUtil.writeInt2(0, ctx, ci); // Reserved
        SMBUtil.writeInt2(0x20, ctx, ci + 2); // DataOffset
        ci += 4;
        SMBUtil.writeInt4(8, ctx, ci); // DataLength
        ci += 4;
        // Name bytes at 0x10
        byte[] name = new byte[] { 'T', 'E', 'S', 'T' };
        System.arraycopy(name, 0, ctx, 0x10, name.length);
        // Data bytes at 0x20