> I verified that it works on Linux/x32. I'll assume this means you verified a case with some high bits in %rbp that needed to be preserved. I've merged it in. Thanks, Roland