impure_stacks don't need pure stacks