Constant CONFIG_TCP_SYNMAXRTX 

pub const CONFIG_TCP_SYNMAXRTX: u32 = 12;