r0 = socket$nl_netfilter(0x10, 0x3, 0xc)
write$binfmt_aout(r0, &(0x7f0000000000)={{0x108}}, 0x20)