FORTY: Remove the invalid_pushes nonsense.

Using NULL tags is much simpler with no real drawbacks.