docs: public static String times(String s, int num) {
          StringBuilder builder = new StringBuilder();
          for (int i = 0; i < num; ++i) {
              builder.append(s);
          }
          return builder.toString();
      }