Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks