float_up
if(!oldprop) float_up();
void float_up(void);
float_up();
float_up(heap, new_last, elt);
float_up(heap, idx, heap->array[idx]);
float_up(heap, idx, heap->array[idx]);