dump_queue_compute_score 1138 src/pdumper.c        float score = dump_queue_compute_score (dump_queue, queued_object, basis);
dump_queue_compute_score 1196 src/pdumper.c                dump_queue_compute_score (dump_queue, head, basis);