Type Definition nc::types::pthread_key_t

type pthread_key_t = i32;