Saving %rbx may actually be required depending on the memory model.