# https://syzkaller.appspot.com/bug?id=fac3d7b25f0e5f3899e4b0dcec32bb3177c95718
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"sandbox":"none","fault_call":-1,"close_fds":false,"vhci":true}
syz_emit_vhci(&(0x7f0000000000)=ANY=[@ANYBLOB="043e1a0dff"], 0x1d)