static AutoCloseable flagAsAutoCloseable(Flag flag) {
  ret flag == null ? null : autoCloseable {
    flag.raise();
  };
}