r0 = openat$urandom(0xffffffffffffff9c, &(0x7f0000001280), 0x20041, 0x0)
write$binfmt_misc(r0, &(0x7f00000013c0)={'syz1'}, 0x4)