Currently this is only a simple wrapper around create_thread() that remembers the thread ID of the spawned thread.