let define duser items =
      let k = duser.d_info.l_var_info in
      if not (Hdef.mem index k) then
        begin
          List.iter
            (fun (name,item) ->
               D.add_declaration {
                 d_name = name ;
                 d_section = S_userdef ;
                 d_title = (fun fmt -> pp_userdef_title fmt duser) ;
                 d_descr = (fun fmt -> pp_userdef_descr fmt duser) ;
                 d_source = None ;
                 d_item = item ;
               })
            items ;
          Hdef.add index k ()
        end