Make multiple Ctrl-C capable to kill stuck protocols.