let merge_inputs_m1_mark = SigMarks.merge_inputs_m1_mark