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