method vexpr e = match e.enode with
    | CastE(ty,e) ->
        if isPointerType ty then
          match (stripCastsAndInfo e).enode with
            | Lval(_host,off) ->
                begin match lastOffset off with
                  | Field(fi,_) ->
                      if isIntegralType fi.ftype
                        && bits_sizeof ty = bits_sizeof fi.ftype then
                          FieldinfoHashtbl.replace
                            cast_field_to_type fi fi.ftype
                      else ()
                  | _ -> ()
                end
            | _ -> ()
        else ();
        DoChildren
    | _ -> DoChildren