primitives to implement a kill-list