{⟦
  org ↦ ⟦
    eolang ↦ ⟦
      io ↦ ⟦
        dead-output ↦ ⟦
          write(buffer) ↦ ⟦
            φ ↦ ξ.output-block,
            output-block ↦ ⟦
              φ ↦ Φ̇.true,
              write(buffer) ↦ ⟦
                φ ↦ ξ.ρ.ρ.output-block
              ⟧
            ⟧
          ⟧
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}