(module Info.Stable)