def end.at
import ezx@1.11.0.0/src/lock/run.bend as Runimport Base
648# a status that is 0 ends nothing, so the program runs out and exits 0; any
649# other exits with that status and the reason
650def end.at(zero: Bool, +code: U32, +why: String) -> IO(Unit):
651 match zero:
652 case True{}:
653 IO.pure(Unit, Unit{})
654 case False{}:
655 IO.die(Unit, code, why)