Handle return_or_throw