We currently have <save> and <restore> ops that work with the user stack, and <saveall> and <restoreall> that work with the register stacks, and which are equivalent to:
pushi pushn pushs pushp and popi popn pops popp respectively. Wouldn't a better name for the latter be <pushall> and <popall>, to avoid any confusion with <save> and <restore>, or is this not worth bothering about? Simon