# https://syzkaller.appspot.com/bug?id=bc2bc9da2825a560d04dbe2039655f62599b27d7
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":4,"sandbox":"none","fault_call":-1,"close_fds":true,"devlinkpci":true}
mprotect(&(0x7f0000000000/0x800000)=nil, 0x800000, 0x0)