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)