let clear () = Hdef.clear user_variables