(module Core_array)