method vinst i =
    if !debug then Cilmsg.debug "rdVis: before %a, rd_dat_lst is %d long\n"
      d_instr i (List.length rd_dat_lst);
    try
      cur_rd_dat <- Some(List.hd rd_dat_lst);
      rd_dat_lst <- List.tl rd_dat_lst;
      DoChildren
    with Failure "hd" ->
      if !debug then (Cilmsg.debug "rdVis: il rd_dat_lst mismatch\n");
      DoChildren