Re: [PATCH v2 14/42] tools/nolibc: Implement gettid()