verify(spy).enc_ndr_short(42);
    }

    /**
     * Verify that decode invokes NdrBuffer.dec_ndr_short.
     */
    @Test
    void decodeWithSpiedBufferCallsDecMethod() throws NdrException {
        NdrShort ns = new NdrShort(0); // value will be overwritten
        // Pre-populate buffer with the encoding of a short value