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