static bool isCIPrefixPlusGlobalID(S prefix) {
  ret swic(s, prefix) && possibleGlobalID(substring(s, l(prefix));
}