docs: public void encodeType(byte[] frame, int[] limits) {
      JSType.setByte(frame, limits, (byte)JSType.TUPLE);
      JSType.setCount(frame, limits, getFieldCount());
      if (fields != null)
        for (int i = 0; i < fields.length; i++)
          fields[i].encodeType(frame, limits);
    }