Constant WOW64_SIZE_OF_80387_REGISTERS 

pub const WOW64_SIZE_OF_80387_REGISTERS: u32 = 80;