let is_ctrl_mark = MarkPair.is_ctrl