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