/** Default page size for pagination. */
    public static final int DEFAULT_PAGE_SIZE = 20;

    /** Default current page number (first page). */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

    /** Total number of records across all pages. */
    private int allRecordCount;

    /** Total number of pages. */
    private int allPageCount;

    /** Flag indicating if there is a previous page. */

pkg p3, func BadHop(int, int, int) (bool, bool, *ThirdBase, *ThirdBase, error)
pkg p3, method (*ThirdBase) GoodPlayer() (int, int, int)

    /**
     * Default current page number for pagination.
     */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

    /**
     * Total number of records in the result set.
     */
    private int allRecordCount;

    /**
     * Total number of pages available for pagination.
     */
    private int allPageCount;

    /**
     * Flag indicating whether a previous page exists.
     */

        byte[] dst = new byte[256];
        int offset = 10;

        // Mark the buffer before offset
        for (int i = 0; i < offset; i++) {
            dst[i] = (byte) 0xFF;
        }

        int bytesWritten = packet.writeTrailerWireFormat(dst, offset);

        assertTrue(bytesWritten > 0);
        // Check that bytes before offset are unchanged
        for (int i = 0; i < offset; i++) {

  override fun getLocalPort(): Int = delegate!!.localPort

  @Throws(IOException::class)
  override fun getOutputStream(): OutputStream = delegate!!.outputStream

  override fun getPort(): Int = delegate!!.port

  @Throws(SocketException::class)
  override fun getSoLinger(): Int = delegate!!.soLinger

  @Throws(SocketException::class)

    /**
     * init graph
     */
    private void init(int nVertices, int nEdges) {
        int nV = nVertices;
        if (nVertices < 1) {
            nV = 1;
        }

        checkVertices(nV);

        int nE = nVertices;
        if (nEdges <= nV) {
            nE = 2 * nE;
        }

        checkEdges(nE);
    }

    void testWriteSetupWireFormat() {
        // Given
        trans2GetDfsReferral = new Trans2GetDfsReferral(mockConfig, "test");
        byte[] dst = new byte[10];
        int dstIndex = 0;

        // When
        int bytesWritten = trans2GetDfsReferral.writeSetupWireFormat(dst, dstIndex);

        // Then
        assertEquals(2, bytesWritten);
        assertEquals(SmbComTransaction.TRANS2_GET_DFS_REFERRAL, dst[0]);

    name: str = Field(index=True)
    age: int | None = Field(default=None, index=True)


class Hero(HeroBase, table=True):
    id: int | None = Field(default=None, primary_key=True)
    secret_name: str


class HeroPublic(HeroBase):
    id: int


class HeroCreate(HeroBase):
    secret_name: str


class HeroUpdate(HeroBase):
    name: str | None = None
    age: int | None = None

     * @param length number of bytes to read
     * @return number of bytes actually read
     * @throws IOException if read operation fails
     */
    public abstract int read(ByteBuffer buffer, long remoteAddress, int remoteKey, int length) throws IOException;

    /**
     * Write data to RDMA connection
     *
     * @param buffer buffer containing data to write

            return bytesWritten;
        }

        @Override
        protected int readBytesWireFormat(byte[] buffer, int bufferIndex) throws SMBProtocolDecodingException {
            if (throwOnRead) {
                throw new SMBProtocolDecodingException("Test exception");
            }
            return bytesRead;
        }

        public void setBytesWritten(int bytes) {