(module Flat_array)