(module Core_gc)