Then, you can use

run

+

return@...

for an arbitrary preemptive exit, but yeah, that's not so readable.