int read_initial_state_information(void) {}
int save_state_information(int autosave) {}