Ah, yeah, I see. It seems like a really fast `Ctrl-C` might not be caught?