r0 = syz_open_dev$tty20(0xc, 0x4, 0x0)
write(r0, &(0x7f0000001880)="77e854df75df9dadc9a69e9af62ad5ebca9e02bead8e7f5b45b8837293305fd32152781b7cfd87cf5b23b7350bffae89528b53533850b08bc23dc4a715e84d64f81fcbdd15a02fddccd6d6b519a7cd46f2056b892d1b25", 0x57)