Module Core_kernel__.Stable.Unit_tests