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); }