* readonly ???
*/
get_resync_start(a);
- printf("Found a readonly array at %llu\n", a->resync_start);
+// printf("Found a readonly array at %llu\n", a->resync_start);
if (a->resync_start == ~0ULL)
a->next_state = read_auto; /* array is clean */
else {