*/
    @Test
    @DisplayName("Encode should call NdrBuffer.enc_ndr_hyper with correct value")
    public void testEncodeInteraction() throws NdrException {
        NdrBuffer buf = mock(NdrBuffer.class);
        NdrHyper hyper = new NdrHyper(12345L);
        hyper.encode(buf);
        verify(buf, times(1)).enc_ndr_hyper(12345L);
    }

    /**

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

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

        }

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

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

        int val = ndrBuffer.dec_ndr_long();
        assertEquals(0xDEADBEEF, val);
        assertEquals(4, ndrBuffer.getIndex());
    }

    @Test
    void testEncDecNdrHyper() {
        ndrBuffer.enc_ndr_hyper(0x0123456789ABCDEFL);
        assertEquals(8, ndrBuffer.getIndex()); // Aligned to 8, then advanced by 8
        assertEquals(8, ndrBuffer.getLength());
        assertEquals((byte) 0xEF, buffer[0]); // Little-endian

     */
    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);
    }

    /**