let mkfree_statement v loc = mkStmt (Instr(mkfree v loc))