added aQueue.ml specs