method vinst i =
if !debug then Kernel.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 (Kernel.debug "rdVis: il rd_dat_lst mismatch\n");
DoChildren