r0 = memfd_create(&(0x7f0000000040)='\xc3\xa5\x01', 0x2)
fcntl$addseals(r0, 0x409, 0xd)
write$binfmt_misc(r0, &(0x7f0000000200)={'syz1'}, 0x4)