let get_in_ctrl_mark (sgn:t) = Signature.find_in_ctrl sgn