r0 = eventfd2(0x0, 0x0)
read(r0, &(0x7f0000000140)=""/186, 0xba)
read(r0, &(0x7f0000000000)=""/174, 0xae)
write$binfmt_elf64(r0, &(0x7f0000000200)=ANY=[@ANYBLOB="7f"], 0x78)