let variable_current_change = (ref [] : (string * string) list Pervasives.ref)