@Contract(pure = true)
  public static @NotNull String trimLeading(@NotNull String string, char symbol) {
    int index = 0;
    while (index < string.length() && string.charAt(index) == symbol) index++;
    return string.substring(index);
  }
@Contract(pure = true)
  public static @NotNull String trimLeading(@NotNull String string, char symbol)