Constant TCP_REPAIR 

pub const TCP_REPAIR: u32 = 19;