int centered_player_nr;
int centered_player_nr_next;
boolean set_centered_player;
- boolean set_centered_player_fast;
+ boolean set_centered_player_wrap;
// values for random number generator initialization after snapshot
unsigned int num_random_calls;