Constant PAGE_FAULT_VECTOR 

pub const PAGE_FAULT_VECTOR: u8 = 14;