void sensor_event(bool, Sensor *);
void turnout_route_changing(unsigned, Turnout *);
void turnout_route_changed(unsigned, Turnout *);
unsigned reserve_more();
void update_speed();
void sensor_event(bool, Sensor *);
void turnout_route_changing(unsigned, Turnout *);
void turnout_route_changed(unsigned, Turnout *);
unsigned reserve_more();
void update_speed();