stack-to-register transformation "works"