sbool flagIsUp(Flag f) {
  ret f != null && f.isUp();
}