This can be implementing by keeping a bit per label set to 0. When we sample we set all the bits to 1. When we sample next as soon as we see a label with a bit set to 1 we can assume all the children haven't changed. We can save this in the profile by having a notation to indicate 'copy the base X frames' from the previous sample. Sadly I don't think we can do anything for stack unwinding.