let get_external =
  Externals.memo 
    (fun kf -> 
       !Value.compute ();
       if Kernel_function.is_definition kf then
         externalize 
           (Kernel_function.find_return kf) 
           (Kernel_function.get_definition kf) 
           (get_internal kf)
       else
         (* assume there is no deref for leaf functions *)
         Zone.bottom)