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)