let get_external =
  Externals.memo (fun kf -> externalize kf (get_internal kf))