sS renderExt_flags(Ext e) {
  if (e == null) ret str(e);
  Set<S> flags = extAllFlags(e);
  ret empty(flags) ? str(e) : e + " [" + joinWithComma(flags) + "]";
}