(module Core_weak)