(module Core_filename)