syz_emit_vhci(&(0x7f0000000040)=ANY=[], 0x7)