static S assertPossibleGlobalID(S s) { if (!possibleGlobalID(s)) fail("Not an acceptable global ID: " + s); ret s; }