shadow_queue_get_element
return shadow_queue_get_element(queue, queue->prod_idx);
return shadow_queue_get_element(queue, queue->cons_idx);
return shadow_queue_get_element(queue, queue->next_to_complete_idx);
