Notes to self:
Call path ALLOCATION -> ALLOCATION-TRAMP -> alloc_tramp -> alloc doesn't align the stack on x86-64.
%ALIEN-FUNCALL doesn't restore stack pointer properly on x86-64.
Notes to self:
Call path ALLOCATION -> ALLOCATION-TRAMP -> alloc_tramp -> alloc doesn't align the stack on x86-64.
%ALIEN-FUNCALL doesn't restore stack pointer properly on x86-64.