let redraw = function
  | Classic -> ()
  | Sophisticated ds -> redraw_sophisticated ds