(module Core_lazy)