srecord noeq RaiseFlagOnRunAndClose(Flag flag) is Runnable, AutoCloseable {
  run { raiseFlag(flag); }
  close { raiseFlag(flag); }
}

static RaiseFlagOnRunAndClose raiseFlagOnRunAndClose(Flag flag) {
  ret RaiseFlagOnRunAndClose(flag);
}