let cycle () : int deque =
    let q = deque_12 () in
    begin match (q.head,q.tail) with
    | (Some x, Some y) -> (x.prev <- Some y; y.next <- Some x)
    | (_,_) -> failwith "Error"
    end
   q