const TCPI_OPT_ECN_SEEN: comptime_int = 16;

we received at least one packet with ECT