mutable
current_conflict = (
None
: (string * string) option)