x64: use push instruction for saving registers