Re: hdb and mdb dereferencing aliases differently