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