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