let
check_called_input_marks =
SigMarks
.check_called_input_marks