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