The forkOS should return ThreadId type.