let
user_variables =
Hdef
.create 131