static S getAppendedGlobalID(S s) {
  if (!endsWith(s, "]")) null;
  ret regexpFirstGroup("\\[id: (" + regexp_globalID() + ")\\]$", s);
}