static S getAppendedGlobalID(S s) {
  if (!endsWith(s, "]")) null;
  ret regexpFirstMatch("\\[id: [a-z]{" + globalIDLength() + "}\\]$", s);
}