Currently these helper classes are generally used by some other, more complete, Dispatch implementor and so that main class typically implements protection against mismatched save/restore counts.

In the rare case that the main class does not do so, the helper classes should detect a restore past the top of the stack and ignore it.