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