Constant X87_FPU_VECTOR 

pub const X87_FPU_VECTOR: u8 = 16;