Corpus for write$tcp_mem:

Coverage	Program
348	openat$tcp_mem-write$tcp_mem