enforce that cardinals of masks and indices are the same as the value in load and store