void event_vline(int v, int clock);
void event_callback(int event_id, int err);
void update_timing(int new_clocks, double new_frames_per_sec, int new_lines_per_frame);
+ void decl_state();
void save_state(FILEIO* state_fio);
bool load_state(FILEIO* state_fio);