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