let mkfree v loc =
  let callee = new_exp (Lval(Var(free_function ()),NoOffset)) in
  let arg = new_exp (Lval(Var v,NoOffset)) in
  Call(None,callee,[arg],loc)