Thank you for your answer, I did think about the vertical issue with these variables (the caller modifies a variable which is used by the callee), but didn't think about the horizontal problem (variables from one callee not restored for the next).