Constant DOUBLE_FAULT_VECTOR 

pub const DOUBLE_FAULT_VECTOR: u8 = 8;