Solving a bug on RRR bit sequences longer than 2^32 bits