For debugging purposes, e.g., determining the state of shared variable values, a side-effect free, user-defined print function should be allowed to execute at the very end of each global tick.
User defined function could be called globalTickPrintf(...).