The ISC thread API already defines isc_threadresult_t type, but we are using a pthread specific return type (void *).