test for #13: index-set OO ...