let check_called_input_marks = SigMarks.check_called_input_marks