let
mkalloc_statement v ty loc = mkStmt (
Instr
(mkalloc v ty loc))