Saving of callee-saved registers