fn transfer_dup(live: &mut BitVec, h_before: usize, depth: usize)
DUP liveness: the new TOS is killed; if it was live, the source becomes live.