Constant SIZE_OF_80387_REGISTERS 

pub const SIZE_OF_80387_REGISTERS: u32 = 80;