docs: private static String join(long[] a) {
      assert (a.length > 0);
      StringBuilder builder = new StringBuilder();
      builder.append(a[0]);
      for (int i = 1; i < a.length; ++i) {
        builder.append(',');
        builder.append(a[i]);
      }
      return builder.toString();
    }