(
module
Core_lazy
.
Stable
)