float* sf_pqueue_extract (void) /*< Extract the smallest element >*/ { unsigned int c; int n; ... return v; }