r0 = syz_open_dev$tty20(0xc, 0x4, 0x0)
write(r0, &(0x7f0000000380)="0a7ccc62f51db38c82997fbed2a30edd5d6ffaf78b871900ecc2e4b01e5babae83a2fa9b99f86c26f9c0014104e85b3dd91b14a544493c1f343badb672381bdc0d6ced4d916ed5de8f967bcf6ba1f1ce5b38017b258aedad3d00e2f92e5f2093400b96950212862ed899f89b75", 0x6d)