Type Definition __pthread_slist_t
stainless_ffmpeg_sys
type __pthread_slist_t = __pthread_internal_slist;