Constant IP_MTU_DISCOVER 

pub const IP_MTU_DISCOVER: u32 = 10 /* 10u32 */;