private static void PushFront(ref DLink pHead, DLink pNode)
 {
     Debug.Assert(pNode != null);
     DLink.PushFront(ref pHead, pNode);
     // worst case, pHead was null initially, now we added a node so... this is true
     Debug.Assert(pHead != null);
 }