Re: MPS: Win64 testers?

[Kien Nguyen]

> A safe (but very slightly slower) solution would be to simply store the
> registers twice, once using setjmp() and once using the assembler
> statements.  Would that be acceptable for your build?

That works for me. Thank you.
However, let me try to modify the patch to exclude Windows there.  The
MPS supports Windows build so I think it should work without the patch
that's meant for FreBSD and Linux.