It appears we might limit data structures to LAST(INTEGER) bits instead of LAST(INTEGER) bytes. Judging from m3core/TextLiteral.i3. I see that measuring in bits instead of bytes is surprisingly convenient, but this seems not great. - Jay