r0 = memfd_create(&(0x7f0000001b80)='(\xc8\xf5\x82j\xca', 0x3)
fcntl$addseals(r0, 0x409, 0x4)
write$binfmt_aout(r0, 0x0, 0x937)