Module Core_gc_unit_tests