let variable state values ?status v =
      let status =
        match status with
        | None -> S.variable
        | Some s -> s
      in
      let loc = loc_of_varinfo v in
      let state = change_loc_status values state loc status in
      typ state values loc v.vtype