@Contract(pure = true)
  public static @NotNull String trimStart(@NotNull String s, @NotNull String prefix) {
    if (s.startsWith(prefix)) {
      return s.substring(prefix.length());
    }
    return s;
  }
@Contract(pure = true)
  public static @NotNull String trimStart(@NotNull String s, @NotNull String prefix)