Ok sorry, I didn't make explicit an important bit -- from my perspective these variables are initialized by the callee but are otherwise local to the function.

Ok sorry, I didn't make explicit an important bit -- from my perspective these variables are initialized by the callee but are otherwise local to the function. From a C perspective imagine them as function local variables which are contructed by the callee's parameters.