r0 = openat$cdrom(0xffffffffffffff9c, &(0x7f0000000940), 0x1c1c02, 0x0)
write$binfmt_elf64(r0, &(0x7f0000000340)=ANY=[], 0xfdef)