Re: [PATCH 05/12] util: add API to fetch the current thread id