> I visually inspected the code and it passed "make check/xcheck". OK. So that in all likelihood means we don't have an affirmative test for the high bits of %rbp being preserved. But your inspection is enough for me. Thanks, Roland