(module Fdeque.Stable)