set
succ,
as above, to the smallest successor of
ptr
succ = 2 * ptr
if (succ < last)
if (data[succ + 1].key < data[succ].key)
succ++;