+ // Save general-purpose registers at r/esp; flags, r/eax, and, on
+ // x86, ebx, should have been filled in already, together with the
+ // focus address, in `REGIX_ADDR', if relevant. Return required
+ // extended save area size in ecx, and leave r/ebp pointing to the
+ // save area.
+