void redraw_spins(int skip);