let copy m =
  Array.map Array.copy m