Constant PAGE_FAULT_CHURN_TOUCHES_PER_CYCLE 

pub const PAGE_FAULT_CHURN_TOUCHES_PER_CYCLE: usize = 256;