static AutoCloseable raiseFlagAfterwards(Flag flag) {
  ret flagAsAutoCloseable(flag);
}