Constant PTHREAD_DESTRUCTOR_ITERATIONS 

pub const PTHREAD_DESTRUCTOR_ITERATIONS: u32 = 4;