code: private void setArcTarget(int arc, int state) {
      arc += ADDRESS_OFFSET + TARGET_ADDRESS_SIZE;
      for (int i = 0; i < TARGET_ADDRESS_SIZE; i++) {
        serialized[--arc] = (byte) state;
        state >>>= 8;
      }
    }
docs: Fills the target state address of an arc.