let
host_trans_term () =
lval_to_term_lval (
Cil
.var (get_varinfo curTrans))