svoid waitForFlag(Flag flag) { if (flag != null) flag.waitUntilUp(); }