public int @NotNull [] toArray(int @NotNull [] a) {
    if (a.length < mySize){
      a = new int[mySize];
    }
    for (int i = 0; i < mySize; i++) {
      char c = myData[i];
      a[i] = c;
    }

    return a;
  }
public int @NotNull [] toArray(int @NotNull [] a)