let get_input_mark = SigMarks.get_input_mark