Constant PTHREAD_KEYS_MAX 

pub const PTHREAD_KEYS_MAX: u32 = 512;