push_to_queue is now obsolete