let check (bi,ei) = assert (Int.le bi ei)