let mk_user_mark ~data ~addr ~ctrl = 
  if addr || data || ctrl then 
    MarkPair.mk_m1 (Mark.mk_adc  addr data ctrl)
  else mk_user_spare