Trying out Factor-style throw-restart