# https://syzkaller.appspot.com/bug?id=007a791bfee59566fbdffee36990165f67800da6
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"collide":true,"repeat":true,"procs":1,"slowdown":1,"sandbox":"none","fault_call":-1,"tun":true,"netdev":true,"resetnet":true,"cgroups":true,"binfmt_misc":true,"close_fds":true,"vhci":true,"sysctl":true,"tmpdir":true,"segv":true}
socketpair(0xb, 0x800, 0x2d9, 0x0)
syz_genetlink_get_family_id$devlink(&(0x7f0000000100)='devlink\x00', 0xffffffffffffffff)
socket$key(0xf, 0x3, 0x2)