Update seal_queue.h