Corpus for write$tcp_congestion:

Coverage	Program
377	openat$tcp_congestion-write$tcp_congestion
369	openat$tcp_congestion-write$tcp_congestion
367	openat$tcp_congestion-write$tcp_congestion