Constant CONFIG_TCP_MAXRTX 

pub const CONFIG_TCP_MAXRTX: u32 = 12;