let user_definitions = Hdef.create 131