let
host_state_term () =
lval_to_term_lval (
Cil
.var (get_varinfo curState))