syz_mmap(&(0x7f0000000000/0x1000), 0x1000)