method vexpr e =
    begin match destruct_string_access e with None -> () | Some(v,off) ->
      if hasAttribute name_of_string_declspec (typeAttrs v.vtype) then
        (* A string should be accessed within its bounds *)
        let off =
          !Db.Properties.Interp.force_exp_to_term locUnknown off
        in
        let app = within_bounds ~strict:false v off in
        let cur_stmt = the self#current_stmt in
        Annotations.add_alarm cur_stmt ~before:true Alarms.Other_alarm app
    end;
    DoChildren