extended: depth-sensitive printing in hashing debug facility