check if array shrinks in each block
check if array expands in each block
save/restore arena index in mirb; close #740