Save registers on stack before doing checking b/c checking uses callee save regs