Programs must identify if thread is part of the runtime or not
A proposal is to use get_thread_num
service to determine if the thread already belongs the runtime
A proposal is to use get_thread_num
service to determine if the thread already belongs the runtime