Constant PTHREAD_KEYS_MAX 

pub const PTHREAD_KEYS_MAX: i32 = 1024;