r0 = syz_open_dev$tty20(0xc, 0x4, 0x0)
write(r0, &(0x7f00000001c0)="a91439603b54e4757990ea76c46d890166bca017676b1348ed1346635c17b20671a0a5967b947f39aa829e2f2c802ba75546e2dbfcd6579165612fd27adcbaa973e54ceb148cb5d4be6de92e86c7456f45c552fc6a2e4e7ff9c3ee912b9af64fc0f0f7f4a4c4d270d155ffe339dd50f0946a3a8679c1de8bbcda60e26e2b48b273808268b50fd199218aadc53d02fe6aee3b5571c40976f94a6b79221e3039597ef0bab1c6492dba4417306d324623b8a07bbd856c0c345723ef6557168be629fd7fd94bcef661298148a743d13233335c8a80e83a2c7bafaaec10108fb2ca78e556acca45cdb3edb592f84db29fb61649f1fa6568bc61c4b017dc05f285750b60f0142a91b690e9fd6fdfbeb752ad554438177b950540e0103ed123d364e300fb9859bf38b12cd7fb78491cfc3a475c477571f9ce3e3212184bf2bc75812613a12e232dc64cc83ce9f9ea018710867236caca828c5cce21e58adf68a4dab43c30bb7456da4f4b69c314090df60b3d7f5de68b0db922cbbbada9908b71aa8e3b96df9c2ac3c96f0d0080af10b5973c8cb87a7e78181548336b5da1cfce599a4d29e6e6e7ab3aa9ff642a17ff52f90cd70c059cf023dc3a68aa465bee4ac2b50359c43e8cff2bc1e21cc1bca8865ca289d377b6f8c696ba04de1a5ad985aafc470319bd17769a6d312fe6ff5226ece37a01f042326ec406f024530c81b34dc429e066e5a97a2555a8c66ccfed2dee7e01b3bf41c8c63b38840a845919c7378c195e03849a93391a7e4f2c7365d3c89007267f0e3e854c4b90671a74268b4c7941edfd8c58c3a6e3939af749abb28106fbd2225660ef97c423f14d17c7101aa82f866f2a05d671d247b1cf00a3d52ddb1bf9d0d3dcc2ed98387d0a786524a812ae20027d07a2395c763e4cd9bc0b9c52e38279ba99001b5ad46f2f522aec7040af7105659304cee906a1548b279713c8e0137ce25015fab9a2c252bb43994848ccc703f940b5f64c0bbdaa2a94cb9ab2496d934bb74edeb67dbc7ca42bd3cf0f150a55df6c089730db8e8be098dc8315ea83588a8221ed93b89da8081e836045626bbba1087b9c7e4b0854c13fc7d70664a49eec51b5ae7d78982cc4e67913187c818d0a0fbe2865baccb2c72b4cfb6be9a3dfecbfc60ee8c46a603d02179d40765dd24a530b383a0023606727c64263c233e763f415246b93ab77fc3c30278c67ece74de8168080c292d00bcf19be6fec679debc00b1651e28583f3d407b82ed6b352900b8deec594b0c62774a06c04592491fc4b45d44c74c130084e3d31b0f311a6a681e6c95743ce5931da3a72e2777a3b87f2efd2efce9180bc30014b50f89b88d3bca061647db7cc60b14ed7c8a5b35311b36381b2fab54e369b3f5a", 0x3de)