docs: public Object productElement(int n) {
          assert n >= 0 && n < 3;
          switch (n) {
              case 0: return dataType;
              case 1: return geographicalLocation;
              case 2: return isSecret;
              default: throw new IllegalArgumentException(n + " is not an allowed index into UserStub!");
          }
      }