Small tweak to push instruction.
Removed a function used for debug.