Top-level preservation: minor fix
Top-level preservation:
(...) return-from No
(...)
Nitpick: I don't think return-from
can preserve toplevelness because a toplevel return-from
is always an error because there is no block
to return to.