Create seal_intQueue.h