Type Definition __darwin_pthread_key_t
Other items inlibabieos_sys
type __darwin_pthread_key_t = c_ulong;