# https://syzkaller.appspot.com/bug?id=8f0e23bf9049da82a6b022d381ad101c76cfaedd
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"sandbox":"none","fault_call":-1,"close_fds":false,"tmpdir":true,"segv":true}
sysctl$kern(&(0x7f0000000040)={0x1, 0x19}, 0x2, 0x0, 0x0, &(0x7f0000000080)="8700d1d9", 0x4)