compiler.cfg.stacks.vacant: ##call instructions clear the set of overinitialized locations