let get_definition cc fdef =
    let xdef = fdef.l_var_info in
    let udef , items =
      try Hdef.find user_definitions xdef
      with Not_found ->
        let cdef = cc fdef in
        Hdef.add user_definitions xdef cdef ; cdef
    in
    UserDefinition.define udef items ; udef