r0 = openat$ptmx(0xffffffffffffff9c, &(0x7f000000a080), 0x0, 0x0)
syz_open_pts(r0, 0x3c3043)