[cross-global-revoke.sub.html]
  max-asserts: 2