let
check_input_marks =
SigMarks
.check_input_marks