let empty_sig = SigMarks.empty