Constant PXE_DHCP_MAGIC_COOKIE_SIZE 

pub const PXE_DHCP_MAGIC_COOKIE_SIZE: u32 = 4u32;