Module Int.Stable