let string_of_state = function
    Done -> "Done"
  | Suspended -> "Suspended"
  | Priority_low -> "Low priority"
  | Priority_normal -> "Normal priority"
  | Priority_high -> "High priority"