Corpus for write$tcp_congestion:

Coverage	Program
378	openat$tcp_congestion-write$tcp_congestion