static Web indexedWebWithGlobalID(S globalID) {
  ret ai_getWeb(globalID);
}