let
clear () =
Hdef
.clear user_variables