Constant PTHREAD_KEYS_MAX 

pub const PTHREAD_KEYS_MAX: c_int = 1024;