method vinst i =
    match i with
    | Set (lv,exp,_) ->
        current_locs <- Some (Loc_hashtbl.create 7);
        begin match lv with
          Var _, offset ->
            ignore (self#voffs offset);
        | Mem e, offset ->
            ignore (self#vexpr e);
            ignore (self#voffs offset);
        end;
        ignore (self#vexpr exp);
        (* TODO: do some stuff with self#current_stmt *)
        SkipChildren
    | _ -> SkipChildren