Constant TCPI_OPT_TFO_CHILD 

pub const TCPI_OPT_TFO_CHILD: u32 = 128;