It computes the number of saved values using RBX-RSP, but RSP is double-word aligned for alien calls. Saving an odd number of values in multiple-value-prog1 misaligned the stack, which gets aligned in alloc-number-stack-space and throws off the number of saved values.
It computes the number of saved values using RBX-RSP, but RSP is double-word aligned for alien calls. Saving an odd number of values in multiple- value-prog1 misaligned the stack, which gets aligned in alloc-number- stack-space and throws off the number of saved values.