let get_input_loc_under_mark = SigMarks.get_input_loc_under_mark