Hi @egio , thank you for raising this important point!
Yes, as far as I can see. There is no global variable / module variable. (BTW, how to test / verify thread safety systematically?)
I have been keeping thread safety in my mind when developing PRIMA. In fact, I asked a question here about thread safety some time ago — almost all my posts on this forum arise from PRIMA.