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