Hmm, think you're right. Reasons:
1. 2 threads running the same procedure
2. Recurring functions would lose information

Therefore I think you're right, only global variables can be static