let mkalloc v ty loc =
  let callee = new_exp (Lval(Var(malloc_function ()),NoOffset)) in
  let arg = sizeOf ty in
  Call(Some(Var v,NoOffset),callee,[arg],loc)