simplified implementation of copy-not-killed