docs: public static String c_case(String prefix, String name, String suffix) {
          // Assume we insert at most 4 '_' chars for a majority of names.
          StringBuilder builder = new StringBuilder(prefix.length() + name.length() + 5);
          builder.append(prefix);
  
          boolean lastUpper = true;
          for (char c : name.toCharArray()) {
              if (Character.isUpperCase(c)) {
                  if (!lastUpper) {
                      builder.append('_');
                  }
                  lastUpper = true;
              } else if (c == '_' || c == '.' || c == '-') {
                  builder.append('_');
                  lastUpper = true;
                  continue;
              } else if (!Character.isDigit(c)) {
                  lastUpper = false;
              }
              builder.append(Character.toLowerCase(c));
          }
          builder.append(suffix);
  
          return builder.toString();
      }