# ── Entry point ───────────────────────────────────────────────────────────────
label start:
jump arrival