Of course, but we shouldn’t be too trusting of Copperhead.
If Ctrl + C doesn’t work, I doubt sysrq would.