うーん、たしかに exit 呼べばいい気がしてきました。 exit ってちゃんと Never になってるんですね。