115116117118119120121122123124125
EBitString b; ESmall i; if ((b=bin.testBitString()) == null || ((i=idx.testSmall()) == null) || i.value < 0 || i.value > b.byteSize()) { throw ERT.badarg(bin, idx); } long split = i.value*8; return new ETuple2(b.substring(0, split),