svoid raiseFlag(Flag flag) {
  if (flag != null) flag.raise();
}