Corpus for openat$tcp_congestion:

Coverage	Program
701	openat$tcp_congestion