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)