method vinst i =
    if !debug then Cilmsg.debug "aeVist: before %a, ae_dat_lst is %d long"
      d_instr i (List.length ae_dat_lst);
    try
      let data = List.hd ae_dat_lst in
      cur_ae_dat <- Some(data);
      ae_dat_lst <- List.tl ae_dat_lst;
      if !debug then Cilmsg.debug "aeVisit: data is %a" lvh_pretty data;
      DoChildren
    with Failure "hd" ->
      if !debug then Cilmsg.debug "aeVis: il ae_dat_lst mismatch";
      DoChildren