Re: `push' instructions (was: Bug fixes)