let user_variables = Hdef.create 131