private void OnNode(Pointer ptr)
{
if (ptr == 0u)
{
return;
}
// HeapEntry he = state.GetHeapEntryFromPointer(ptr);
HeapEntry he = (HeapEntry)state.Heap[ptr];
HeapElement helem = he.HeapObj;
System.Console.WriteLine("heap[{0}] = (dirty:{1}, canonId:{3}, fingerprint:{2})",
ptr, helem.IsDirty, helem.fingerprint, helem.canonId);
offset = 0;
}