r0 = openat$ptmx(0xffffffffffffff9c, &(0x7f0000000280), 0x0, 0x0)
ioctl$TCXONC(r0, 0x540a, 0x2)
ioctl$TIOCSPTLCK(r0, 0x40045431, &(0x7f0000000040))
r1 = syz_open_pts(r0, 0x2af02)
write$binfmt_aout(r1, &(0x7f0000000640), 0x20)