Type Definition libc_interface::pthread_t

type pthread_t = uintptr_t;