(module Core_thread)