added asserts for known index out-of-bounds accesses (nw)