code: function offset(states, offset) {
    states.low [offset + 0] = LOW_0;
    states.low [offset + 1] = LOW_1;
    states.low [offset + 2] = LOW_2;
    states.low [offset + 3] = LOW_3;
    states.high[offset + 0] = HIGH_0;
    states.high[offset + 1] = HIGH_1;
    states.high[offset + 2] = HIGH_2;
    states.high[offset + 3] = HIGH_3;
  }
docs: FFFFFFFF, /*
  HIGH_BITS= 0xFFFFFFFFFFFFFFFF,
  LOW_BITS= 0x0000000000000000,
  LOW_0= 0xDB6DB6DB6DB6DB6D,
  HIGH_0= 0xB6DB6DB6DB6DB6DB,
  LOW_1= 0xF1F8FC7E3F1F8FC7,
  HIGH_1= 0x8FC7E3F1F8FC7E3F,
  LOW_2= 0x7FFFE00FFFFC01FF,
  HIGH_2= 0xFFC01FFFF803FFFF,
  LOW_3= 0xFFC0000007FFFFFF,
  HIGH_3= 0x003FFFFFFFFFFFFF;