{⟦
  org ↦ ⟦
    eolang ↦ ⟦
      io ↦ ⟦
        input-length(input) ↦ ⟦
          chunk ↦ 4096,
          φ ↦ ξ.rec-read(ξ.input, 0),
          rec-read(input, length) ↦ ⟦
            read-bytes ↦ ξ.input.read(ξ.ρ.chunk).read.ρ,
            φ ↦ ξ.read-bytes.size.eq(0).if(
              ξ.length, ξ.ρ.rec-read(ξ.read-bytes, ξ.length.plus(ξ.read-bytes.size))
            )
          ⟧
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}