Does not belong in run_queues.rs? But must be accessible for utils other than evobench.rs, too, thus this module.