Pause/BreakキーでSTOPできるので、 Ctrl+CやF5に割り当てなくてもよいような気が、、、。