dump_queue_sequence 1191 src/pdumper.c            *out_sequence = dump_queue_sequence (dump_queue, head);
dump_queue_sequence 1248 src/pdumper.c          ? dump_queue_sequence (dump_queue, XCAR (*fancy_cons))