static int discordEmbed_addField_maxLength = 800;

svoid discordEmbed_addField(EmbedBuilder eb, S field, S text) {
  int n = 1;
  while ping (l(text) > discordEmbed_addField_maxLength) {
    LS lines = lines(text);
    new StringBuilder buf;
    int i = 0;
    while (i < l(lines) && l(buf)+l(lines.get(i))+1 <= discordEmbed_addField_maxLength)
      buf.append(lines.get(i++)).append("\n");
    S part = str(buf);
    if (i == 0) {
      // first line too long for max length, cut off
      part = takeFirst(text, discordEmbed_addField_maxLength);
      text = substring(text, discordEmbed_addField_maxLength);
    } else
      text = lines(subList(lines, i));
    eb.addField(appendNumberUnless1(field, n++), part, false);
  }
  if (!emptyAfterTrim(text))
    eb.addField(appendNumberUnless1(field, n), text, false);
}