let add_to' rxs x =
  if x <> dummy then
    rxs := [x] :: !rxs
  else
    ()