public void Empty() { dictionary.Empty(); header = end = null; }
internal void Empty() { dictionary.Empty(); header = end = null; }