let mkalloc_array_statement v ty num loc =
  mkStmt (Instr(mkalloc_array v ty num loc))