// Configure the mock NdrBuffer to return a specific value when dec_ndr_hyper is called
        when(mockNdrBuffer.dec_ndr_hyper()).thenReturn(decodedValue);

        // Call the decode method with the mocked NdrBuffer
        ndrHyper.decode(mockNdrBuffer);

        // Verify that dec_ndr_hyper was called exactly once
        verify(mockNdrBuffer, times(1)).dec_ndr_hyper();
        verifyNoMoreInteractions(mockNdrBuffer);

     */
    @Test
    @DisplayName("Decode should set value from NdrBuffer.dec_ndr_hyper")
    public void testDecodeInteraction() throws NdrException {
        NdrBuffer buf = mock(NdrBuffer.class);
        when(buf.dec_ndr_hyper()).thenReturn(0xdeadbeefcafebabeL);
        NdrHyper hyper = new NdrHyper(0L);
        hyper.decode(buf);
        assertEquals(0xdeadbeefcafebabeL, hyper.value);
    }

        }

        // Sequence number (64-bit)
        buf.enc_ndr_hyper(sequenceNumber);
    }

    @Override
    protected void decodeWitnessParameters(NdrBuffer buf) throws NdrException {
        // Decode output parameters for WitnessHeartbeat

        // Response sequence number (64-bit)
        responseSequenceNumber = buf.dec_ndr_hyper();

        // Heartbeat interval (64-bit, in 100-nanosecond intervals)

        this.value = value;
    }

    @Override
    public void encode(final NdrBuffer dst) throws NdrException {
        dst.enc_ndr_hyper(value);
    }

    @Override
    public void decode(final NdrBuffer src) throws NdrException {
        value = src.dec_ndr_hyper();
    }

        this.value = value;
    }

    @Override
    public void encode(final NdrBuffer dst) throws NdrException {
        dst.enc_ndr_hyper(this.value);
    }

    @Override
    public void decode(final NdrBuffer src) throws NdrException {
        this.value = src.dec_ndr_hyper();
    }

     */
    private void decodeResourceChangeMessage(NdrBuffer buf, WitnessNotificationMessage message) throws NdrException {
        // Timestamp (FILETIME - 64-bit)
        long timestamp = buf.dec_ndr_hyper();
        message.setTimestamp(timestamp);

        // Resource name
        String resourceName = decodeWideStringPointer(buf);
        message.setResourceName(resourceName);
    }

    /**

     * @param h the hyper integer value to encode
     */
    public void enc_ndr_hyper(final long h) {
        align(8);
        Encdec.enc_uint64le(h, buf, index);
        advance(8);
    }

    /**
     * Decodes a hyper integer (8 bytes) from NDR format.
     *
     * @return the decoded hyper integer value
     */
    public long dec_ndr_hyper() {
        align(8);

     */
    public void enc_ndr_hyper(final long h) {
        align(8);
        Encdec.enc_uint64le(h, this.buf, this.index);
        advance(8);
    }

    /**
     * Decodes a hyper integer (8 bytes) from NDR format.
     *
     * @return the decoded hyper integer value
     */
    public long dec_ndr_hyper() {
        align(8);

        assertEquals((byte) 0x45, buffer[5]);
        assertEquals((byte) 0x23, buffer[6]);
        assertEquals((byte) 0x01, buffer[7]);

        ndrBuffer.setIndex(0);
        long val = ndrBuffer.dec_ndr_hyper();
        assertEquals(0x0123456789ABCDEFL, val);
        assertEquals(8, ndrBuffer.getIndex());
    }

    @Test
    void testEncDecNdrString() throws NdrException {