let mkalloc_array v ty num loc = let callee = new_exp (Lval(Var(malloc_function ()),NoOffset)) in let arg = constant_expr (Int64.mul num (Int64.of_int (sizeOf_int ty))) in Call(Some(Var v,NoOffset),callee,[arg],loc)