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