remove guarantees for zero arrays to be mutable