return is particularly natural here, in place of exit().