let get_input_loc_under_mark ff loc =
  let ff_sig =
    match FctMarks.get_sgn ff with Some s -> s
    | None -> M.bug "Should have a signature !"
  in Marks.get_input_loc_under_mark ff_sig loc