docs: 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;
  }