According to the [WASI thread specification](https://github.com/WebAssembly/wasi-threads/pull/16), some thread identifiers are reserved and should not be used. In fact, only IDs between `1` and `0x1FFFFFFF` are valid. The thread ID allocator has been moved to a separate class to avoid polluting the `lib_wasi_threads_wrapper` logic.
The file is empty.