pub const VACOPT_DISABLE_PAGE_SKIPPING: u32 = 128;