Loading syntax-prims.disco...
Loaded.
x : ℕ → ℕ
User crash: bad dog!