What *is* the busy pointer? I can't find any actual use of it in the code. Where I previously thought I saw it, I think I'm actually seeing the gc pointer.