let check_input_marks = SigMarks.check_input_marks