Killing a pointer to an embedded should kill the embedder too.  But it doesn't.