let targets_to_prefetch t = get_ui t |> fun ui -> ui.explorer.targets_to_prefetch