static S dropActuallyLeadingSquareBracketStuff(S s) {
  ret startsWith(s, "["]) ? dropLeadingSquareBracketStuff(s) : s;
}