K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);
K k = header.link_prev.key; V v = remove(k); overflowed(k, v); K k = header.link_next.key; V v = remove(k); overflowed(k, v);