Re: [PATCH] kdb: print real address of pointers instead of hashed addresses