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