let get ~select_annot ~select_slice_pragma =
  journalized_get select_annot select_slice_pragma