Update int_queue.h