a few half-baked tools for debugging vnode leaks