Type Definition __pthread_list_t
Other items inphper_sys
type __pthread_list_t = __pthread_internal_list;