Constant ezgui::runner::UPDATE_FREQUENCY

const UPDATE_FREQUENCY: Duration;