Module Core_kernel__.Explicit_dependencies