This is not terribly surprising and probably not easy to avoid, but it would be preferable if an attempt to write to a read-only mmapped array would throw instead of crashing.