Edit: service_thd_alloc.h