r0 = socket$nl_generic(0x10, 0x3, 0x10)
write$binfmt_script(r0, &(0x7f0000000300)={'#! ', './file0'}, 0xfffffffffffffdef)