(module Core_list)