Module Core_kernel__Explicit_dependencies