text: #include "fraser.h"
  /*
  int pq_delete_min(sl_intset_t *set, val_t *val, int n, int *seed);
  int lotan_shavit_delete_min(sl_intset_t *set, val_t *val);
  int spray_delete_min(sl_intset_t *set, val_t *val, int n, int *seed);
  */
  