{⟦
  org ↦ ⟦
    eolang ↦ ⟦
      switch(cases) ↦ ⟦
        len ↦ Φ̇.dataized(ξ.cases.length).as-bytes,
        φ ↦ ξ.len.eq(0).if(Φ̇.error("switch cases are empty"), ξ.case-at(0)),
        case-at(index) ↦ ⟦
          case ↦ ξ.ρ.cases.at(ξ.index),
          φ ↦ ξ.index.eq(ξ.ρ.len).if(
            Φ̇.true, ξ.case.at(0).if(ξ.case.at(1), ξ.ρ.case-at(ξ.index.plus(1)))
          )
        ⟧
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}