# Code generated by syz-sysgen. DO NOT EDIT.
arches = amd64
AF_INET = amd64:2
AF_INET6 = amd64:30
IPPROTO_TCP = amd64:6
SOCK_STREAM = amd64:1
SYS_getsockopt = amd64:118
SYS_setsockopt = amd64:105
SYS_socket = amd64:97
TCP_FASTOPEN = amd64:261
TCP_KEEPCNT = amd64:258
TCP_KEEPINTVL = amd64:257
TCP_MAXSEG = amd64:2
TCP_NODELAY = amd64:1
TCP_NOOPT = amd64:8
TCP_NOPUSH = amd64:4