r0 = syz_open_dev$vcsn(&(0x7f0000000080), 0x3ff, 0x0) fsconfig$FSCONFIG_SET_STRING(r0, 0x1, 0x0, 0x0, 0x0)