Constant RED_ZONE

Source
const RED_ZONE: usize = _; // 131_072usize