Update int_queue.c