On Tuesday, 1 March 2022 at 05:06:22 UTC, Elronnd wrote: > The pushes and pops of RBX are necessary in both cases, because > it is a caller-saved register callee-saved, of course.