r0 = syz_open_procfs(0x0, &(0x7f0000000180)='coredump_filter\x00')
r1 = syz_open_procfs(0x0, &(0x7f0000000180)='coredump_filter\x00')
write$binfmt_elf32(r0, &(0x7f0000000000)=ANY=[@ANYRESDEC=r1], 0x1278)