Killing works for DevModeKeys and CreationKeys. The other ones will have
to be modified accordingly later.