let states =
  [
    Done ;
    Suspended ;
    Priority_low ;
    Priority_normal ;
    Priority_high ;
  ]