Fetched functions and writable statics

Fetched functions are recorded globally at the process level. Therefore, a function fetched from one thread can be executed from any thread.

Module boundary crossings are thread-scoped. Writable statics have a scope between process and thread. They are process-scoped except that module crossings are thread-scoped. This means that: