[]Type Definition skellige::prelude::libc::pthread_t

type pthread_t = u64;