# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
AF_INET = 2
AF_INET6 = 10
ICMP_FILTER = 1
IPPROTO_ICMP = 1
IPPROTO_ICMPV6 = 58
SOCK_DGRAM = 2, mips64le:1
SOCK_RAW = 3
__NR_setsockopt = 208, 386:s390x:366, amd64:54, arm:294, mips64le:5053, ppc64le:339
__NR_socket = 198, 386:s390x:359, amd64:41, arm:281, mips64le:5040, ppc64le:326